902 search results - page 27 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
109
Voted
AO
2007
15 years 19 days ago
2007
Abstract. In open scenarios, agents willing to cooperate must impact the communication barrier between them and their unknown partners. If agents are not relying on any agreement a...
KI
2010
Springer
14 years 11 months ago
2010
Springer
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
115
click to vote
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
98
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...