10907 search results - page 154 / 2182 » Constraint Based Strategies |
AAMAS
2008
Springer
14 years 10 months ago
2008
Springer
Anticipation is a general concept used and applied in various domains. Many studies in the field of artificial intelligence have investigated the capacity for anticipation. In thi...
101
click to vote
CLEIEJ
2006
14 years 10 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
PAMI
2000
14 years 9 months ago
2000
We describe an automated scene modeling system that consists of two components operating in an interleaved fashion: an incremental modeler that builds solid models from range imag...
FLAIRS
2004
14 years 11 months ago
2004
This linguistically motivated work addresses issues in reasoning intelligently over spatial descriptions of simple, static scenes to produce plausible graphical interpretations. I...
102
click to vote
CSCLP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...