6431 search results - page 291 / 1287 » Model Building by Resolution |
173
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— This paper presents a parametric approach for tracking piecewise planar scenes with central catadioptric cameras (including perspective cameras). We extend the standard notion ...
202
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
162
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
We propose a context-logic style formalism, Timed Reasoning Logics (TRL), to describe resource-bounded reasoners who take time to derive consequences of their knowledge. The seman...
148
click to vote
EVOW
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. We introduce a new algorithm for autonomous experimentation. This algorithm uses evolution to drive exploration during scientific discovery. Population size and mutation...
140
click to vote
FSR
2003
Springer
15 years 12 months ago
2003
Springer
For several years, our research group has been developing methods for automated modeling of 3D environments. In September, 2002, we were given the opportunity to demonstrate our m...