902 search results - page 52 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
96
Voted
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
114
Voted
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
108
Voted
ECBS
2008
IEEE
15 years 2 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
101
Voted
GIS
2000
ACM
15 years 4 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
129
Voted
AIPS
2009
15 years 1 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...