3993 search results - page 387 / 799 » Matchmaking for Structured Objects |
136
click to vote
ECBS
2003
IEEE
15 years 10 months 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...
130
click to vote
SI3D
2003
ACM
15 years 10 months 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...
150
Voted
AGTIVE
2003
Springer
15 years 10 months 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...
117
click to vote
APN
2003
Springer
15 years 10 months 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...
164
click to vote
3DPVT
2002
IEEE
15 years 9 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 ...