972 search results - page 26 / 195 » Reasoning with Conditional Time-Intervals |
RSS
2007
13 years 9 months ago
2007
— Matching laser range scans observed at different points in time is a crucial component of many robotics tasks, including mobile robot localization and mapping. While existing t...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
WDAG
2004
Springer
14 years 29 days ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
AAAI
1994
13 years 9 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
ADHOC
2006
13 years 7 months ago
2006
Since the energy budget of mobile nodes is limited, the performance of a networking protocol for such users should be evaluated in terms of its energy efficiency, in addition to t...