Sciweavers

2386 search results - page 304 / 478
» Representing and Reasoning with Preferences
Sort
View
VISUALIZATION
2002
IEEE
15 years 11 months ago
Direct Surface Extraction from 3D Freehand Ultrasound Images
This paper presents a new technique for the extraction of surfaces from 3D ultrasound data. Surface extraction from ultrasound data is challenging for a number of reasons includin...
Youwei Zhang, Robert Rohling, Dinesh K. Pai
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ISCOPE
1999
Springer
15 years 11 months ago
Generic Graph Algorithms for Sparse Matrix Ordering
Fill-reducing sparse matrix orderings have been a topic of active research for many years. Although most such algorithms are developed and analyzed within a graph-theoretical frame...
Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
LCPC
1999
Springer
15 years 11 months ago
Language Support for Pipelining Wavefront Computations
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
Bradford L. Chamberlain, E. Christopher Lewis, Law...
HICSS
1997
IEEE
97views Biometrics» more  HICSS 1997»
15 years 10 months ago
Retaining Body Language in Subjective Virtual Environments Using Artifact-Centred Coordinate Systems
Embodiment and subjectivity are important research issues for collaborative virtual environments. We claim that the direction and distance of an embodiment are the most important ...
Kai-Mikael Jää-Aro, Dave Snowdon