488 search results - page 40 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
115
click to vote
CVPR
2010
IEEE
15 years 11 days ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
153
click to vote
ICRA
2010
IEEE
15 years 26 days ago
2010
IEEE
— Autonomous vehicle navigation in dynamic urban environments requires localization accuracy exceeding that available from GPS-based inertial guidance systems. We have shown prev...
108
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
We present a practical framework for detecting and modeling 3D static occlusions for wide-baseline, multi-camera scenarios where the number of cameras is small. The framework cons...
110
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
120
click to vote
DEBS
2007
ACM
15 years 6 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...