5216 search results - page 807 / 1044 » Planning as Model Checking |
169
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coordination of multiple agents under uncertainty in the decentralized POMDP model is known to be NEXP-complete, even when the agents have a joint set of goals. Nevertheless, we s...
181
click to vote
ACHI
2008
IEEE
16 years 1 months ago
2008
IEEE
—A challenging issue for HCI is the development of usable mobile interfaces for interactions with a complex pervasive environment. We consider a need for interfaces which automat...
179
click to vote
SSDBM
2007
IEEE
16 years 23 days ago
2007
IEEE
High energy physics scientists analyze large amounts of data looking for interesting events when particles collide. These analyses are easily expressed using complex queries that ...
169
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Canonical problems are simplified representations of a class of real world problems. They allow researchers to compare algorithms in a standard setting which captures the most im...
247
click to vote
HOLOMAS
2007
Springer
16 years 20 days ago
2007
Springer
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...