12289 search results - page 349 / 2458 » System modeling with mixed object and data models |
212
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
187
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
167
click to vote
HUC
2003
Springer
15 years 12 months ago
2003
Springer
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
150
click to vote
TOG
2002
15 years 6 months ago
2002
The digitization of the 3D shape of real objects is a rapidly expanding field, with applications in entertainment, design, and archaeology. We propose a new 3D model acquisition s...
188
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
There are many computer vision algorithms developed for visual (scene and object) recognition. Some systems focus on involved learning algorithms, some leverage millions of trainin...