447 search results - page 38 / 90 » A Probabilistic Calculus of Actions |
133
click to vote
ATAL
1995
Springer
15 years 7 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
117
Voted
ENTCS
2007
15 years 3 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
131
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
We describe an enhanced method for the selection of optimal sensor actions in a probabilistic state estimation framework. We apply this to the selection of optimal focal lengths f...
129
click to vote
SCAI
2008
15 years 5 months ago
2008
We propose a troubleshooting algorithm that can troubleshoot systems with dependent action costs. When actions are performed they may change the way the system is decomposed and af...
130
Voted
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
We present a method to classify and localize human actions in video using a Hough transform voting framework. Random trees are trained to learn a mapping between densely-sampled f...