1021 search results - page 171 / 205 » Concepts in Proof Planning |
JAIR
2010
13 years 8 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
PVLDB
2010
13 years 8 months ago
2010
Mashups are situational applications that join multiple sources to better meet the information needs of Web users. Web sources can be huge databases behind query interfaces, which...
GLOBECOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--A common concept to mitigate the effects of spectrum scarcity is to allow opportunistic dynamic spectrum access (DSA) to licensed frequency bands. In this context, the li...
FLAIRS
2009
13 years 7 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
We describe an architecture-centric design and implementation approach for building self-adapting and selfmanaging robotics systems. The basis of our approach is the concept of me...