432 search results - page 40 / 87 » Dynamic Logic With Possible World |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
This paper extends the framework of dynamic influence diagrams (DIDs) to the multi-agent setting. DIDs are computational representations of the Partially Observable Markov Decisio...
TROB
2008
13 years 7 months ago
2008
Abstract--The increasing demand for virtual reality applications in several scientific disciplines feeds new research perspectives dealing with robotics, automation, and computer s...
IJRR
2010
13 years 5 months ago
2010
Abstract We address the problem of vision-based navigation in busy inner-city locations, using a stereo rig mounted on a mobile platform. In this scenario semantic information beco...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Most of all software systems have to be changed after their initial deployment. This is not only because of changing knowledge and expectations about our domains and systems, but a...