1054 search results - page 75 / 211 » Models for automatic generation of safety-critical real-time... |
152
click to vote
Publication
The widespread adoption of automated vehicle location systems (AVL) and automatic passenger counters (APC) in the transit industry has opened new venues in operations and system mo...
117
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...
109
click to vote
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...
100
click to vote
TMI
2008
14 years 11 months ago
2008
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...
128
click to vote
ENTCS
2007
14 years 11 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...