4341 search results - page 550 / 869 » Quantitative Model checking |
161
click to vote
JSAT
2006
15 years 6 months ago
2006
An analysis of the SAT 2005 sub-competition on random instances is given. This year this (sub-)competition set-up was geared to establish a basic setting, focusing on the instance...
173
click to vote
PAMI
2008
15 years 6 months ago
2008
Segmentation and tracking of multiple humans in crowded situations is made difficult by interobject occlusion. We propose a model-based approach to interpret the image observations...
191
click to vote
MVA
2000
15 years 6 months ago
2000
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...
162
click to vote
AAMAS
1999
Springer
15 years 6 months ago
1999
Springer
We discuss the tradeo s involved in control of complex articulated agents, and present three implemented controllers for a complex task: a physically-based humanoid torso dancing ...
143
Voted
MT
1998
15 years 6 months ago
1998
We present a quantitative evaluation of one well-known word alignment algorithm, as well as an analysis of frequent errors in terms of this model's underlying assumptions. De...