7623 search results - page 382 / 1525 » Constructive Volume Modeling |
160
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
225
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a method for creating object surfaces from binary-segmented data that are free from aliasing and terracing artifacts. In this method, a net of linked surface n...
185
click to vote
VISUALIZATION
1997
IEEE
15 years 11 months ago
1997
IEEE
Recursive subdivision schemes have been extensively used in computer graphics and scientific visualization for modeling smooth surfaces of arbitrary topology. Recursive subdivisi...
210
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
This paper presents an automatic method of creating surface models at several levels of detail from an original polygonal description of a given object. Representing models at var...
183
click to vote
ICEIS
2005
IEEE
16 years 8 days ago
2005
IEEE
Component-based software engineering attempts to address the ever increasing demand for new software applications by enabling a compositional approach to software construction in ...