Sciweavers

12943 search results - page 2158 / 2589
» Predicting When Not to Predict
Sort
View
MICCAI
2000
Springer
15 years 10 months ago
Pre- and Intra-operative Planning and Simulation of Percutaneous Tumor Ablation
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...
Torsten Butz, Simon K. Warfield, Kemal Tuncali, St...
PG
2000
IEEE
15 years 10 months ago
Progressive Geometry Compression for Meshes
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...
Xinguo Liu, Hujun Bao, Qunsheng Peng, Pheng-Ann He...
ACM
1995
15 years 10 months ago
Characteristics of Modern System Implementation Languages
: Systems are written in systems implementation languages. What characterizes such languages in the mid-1990’s? This paper identifies the typical environment that a system is bei...
Judy M. Bishop, R. Faria
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
Transfer of Spatial Knowledge from Virtual to Real Environments
The transfer of spatial knowledge from virtual to real environments is one important issue in spatial cognition research. Up to now, studies in this domain have revealed that the p...
Patrick Péruch, Loïc Belingard, Cather...
SPIN
2000
Springer
15 years 10 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
« Prev « First page 2158 / 2589 Last » Next »