4595 search results - page 206 / 919 » Reasoning about Plans |
198
click to vote
ENTER
2009
Springer
16 years 2 months ago
2009
Springer
Given the growing importance of online search in travel planning, marketers need to better understand the behavioural aspect of travel planning using search engines. The goal of t...
204
click to vote
DAGM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Guided Kanade-Lucas-Tomasi (GKLT) tracking is a suitable way to incorporate knowledge about camera parameters into the standard KLT tracking approach for feature tracking...
163
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
158
click to vote
ISSTA
2006
ACM
16 years 1 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
231
click to vote
NMR
2004
Springer
16 years 17 days ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...