591 search results - page 113 / 119 » Probabilistic Assumption-Based Reasoning |
157
Voted
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
184
Voted
ATAL
2007
Springer
16 years 16 days ago
2007
Springer
A robot’s ability to assist humans in a variety of tasks, e.g. in search and rescue or in a household, heavily depends on the robot’s reliable recognition of the objects in th...
176
click to vote
CIVR
2007
Springer
16 years 16 days ago
2007
Springer
Online image repositories such as Flickr contain hundreds of millions of images and are growing quickly. Along with that the needs for supporting indexing, searching and browsing ...
172
Voted
IPSN
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes a sensor network approach to tracking a single object in the presence of static and moving occluders using a network of cameras. To conserve communication ban...
197
Voted
TACAS
2007
Springer
16 years 14 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...