660 search results - page 95 / 132 » Reasoning about Dynamic Policies |
ENVSOFT
2007
13 years 8 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
While stereo matching was originally formulated as the recovery of 3D shape from a pair of images, it is now generally recognized that using more than two images can dramatically ...
AIIA
1999
Springer
14 years 23 days ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
LICS
1996
IEEE
14 years 19 days ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
TIME
1994
IEEE
14 years 18 days ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...