3993 search results - page 387 / 799 » Matchmaking for Structured Objects |
174
click to vote
ECBS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
159
click to vote
SI3D
2003
ACM
16 years 1 days ago
2003
ACM
We present a system for interactively producing exploded views of 3D architectural environments such as multi-story buildings. These exploded views allow viewers to simultaneously...
193
click to vote
AGTIVE
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
151
Voted
APN
2003
Springer
16 years 19 hour ago
2003
Springer
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynam...
191
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...