5754 search results - page 293 / 1151 » Multi-class Model M |
179
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We present a new particle-based surface representation with which a user can interactively sculpt free-form surfaces. The particles maintain mesh connectivity and operate under ru...
170
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
182
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents a model-based vision system for dentistry that will assist in diagnosis, treatment planning and surgical simulation. Dentistry requires the accurate 3...
298
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
151
click to vote
CBMS
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe a research project for the development of a system for cataloguing, retrieval and interactive manipulation of 30 models of pathological human organs from a distributed...