61 search results - page 6 / 13 » Shape enhancement for rapid prototyping |
TABLEAUX
1995
Springer
13 years 11 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
DC
2001
13 years 8 months ago
2001
The amount and variety of information available today in digital form continue to increase at a rapid rate. To keep pace with these trends, knowledge workers must be empowered wit...
CAD
2002
Springer
13 years 7 months ago
2002
Springer
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
VIS
2007
IEEE
14 years 8 months ago
2007
IEEE
r Surface Abstraction Gregory Cipriano, Student Member, IEEE, and Michael Gleicher Abstract-paper we introduce a visualization technique that provides an abstracted view of the sha...