Sciweavers

5336 search results - page 175 / 1068
» Steerable part models
Sort
View
ICVS
2003
Springer
14 years 1 months 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
14 years 17 days 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»
14 years 14 days 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
14 years 13 days 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
14 years 12 days 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