1253 search results - page 186 / 251 » order 2000 |
LPAR
2000
Springer
15 years 4 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
82
Voted
MICCAI
2000
Springer
15 years 4 months ago
2000
Springer
We developed a software tool for pre-operative simulation and planning, and intra-operative guidance, of minimally invasive tumor ablation, including radiofrequency-, laser- and cr...
95
Voted
MICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
Data, addresses, and instructions are compressed by maintaining only significant bytes with two or three extension bits appended to indicate the significant byte positions. This s...
97
Voted
PG
2000
IEEE
15 years 4 months ago
2000
IEEE
A novel progressive geometry compression scheme is presented in the paper. In this scheme a mesh is represented as a base mesh followed by some groups of vertex split operations us...
108
Voted
PODC
2000
ACM
15 years 4 months ago
2000
ACM
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...