5216 search results - page 959 / 1044 » Planning as Model Checking |
INFOCOM
2011
IEEE
14 years 2 months ago
2011
IEEE
—Telecommunications networks, and in particular optical WDM networks, are vulnerable to large-scale failures of their physical infrastructure, resulting from physical attacks (su...
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Revelation games are bilateral bargaining games in which agents may choose to truthfully reveal their private information before engaging in multiple rounds of negotiation. They a...
104
click to vote
AAAI
2012
13 years 1 months ago
2012
Planning under uncertainty is an important and challenging problem in multiagent systems. Multiagent Partially Observable Markov Decision Processes (MPOMDPs) provide a powerful fr...
MOBISYS
2005
ACM
15 years 10 months ago
2005
ACM
LiveMail is a prototype system that allows mobile subscribers to communicate using personalized 3D face models created from images taken by their phone cameras. The user takes a s...
126
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
With the prosperity of tourism and Web 2.0 technologies, more and more people have willingness to share their travel experiences on the Web (e.g., weblogs, forums, or Web 2.0 comm...