2407 search results - page 449 / 482 » A Tool for Abstraction in Model Checking |
102
click to vote
EH
2004
IEEE
15 years 1 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
102
click to vote
DAGM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. A method for exploiting the information in low-level image segmentations for the purpose of object recognition is presented. The key idea is to use a whole ensemble of se...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
AFRIGRAPH
2001
ACM
15 years 1 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
IDEAS
1997
IEEE
15 years 1 months ago
1997
IEEE
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...