Sciweavers

5336 search results - page 175 / 1068
» Steerable part models
Sort
View
ICVS
2003
Springer
16 years 9 days ago
Navigating through Logic-Based Scene Models for High-Level Scene Interpretations
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
Bernd Neumann, Thomas Weiss
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
HICSS
1999
IEEE
91views Biometrics» more  HICSS 1999»
15 years 11 months ago
The Causal Relationships among EDI Controls: A Structural Equation Model
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
Sangjae Lee, Ingoo Han
CGI
1998
IEEE
15 years 11 months ago
An Object-Oriented Approach to Model Scenes of Buildings
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
Thierry Matthey, Hanspeter Bieri
SIGSOFT
1998
ACM
15 years 11 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan