955 search results - page 36 / 191 » Tractable Temporal Reasoning |
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
WLP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
UAI
1993
13 years 10 months ago
1993
I introduce a temporal belief-network representation of causal independence that a knowledge engineer can use to elicit probabilistic models. Like the current, atemporal belief-ne...
VL
2007
IEEE
14 years 3 months ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
AUSAI
1997
Springer
14 years 1 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...