420 search results - page 68 / 84 » Temporal reasoning in process planning |
LPAR
2010
Springer
13 years 8 months ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
QEST
2005
IEEE
14 years 3 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Making case adaptation practical is a longstanding challenge for casebased reasoning. One of the impediments to widespread use of automated case adaptation is the adaptat...
GIS
1995
ACM
14 years 1 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
WSC
2007
14 years 9 days ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...