875 search results - page 121 / 175 » On Reachability Under Uncertainty |
130
click to vote
AAAI
2008
15 years 29 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
100
click to vote
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
Ego-motion estimation for an agile single camera moving through general, unknown scenes becomes a much more challenging problem when real-time performance is required rather than ...
109
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...
103
click to vote
JUCS
2010
14 years 10 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
Many parameter estimation methods used in computer vision are able to utilise covariance information describing the uncertainty of data measurements. This paper considers the valu...