2038 search results - page 277 / 408 » Probabilistic Agent Programs |
114
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...
165
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...
150
Voted
POPL
2000
ACM
15 years 9 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
127
Voted
DEXA
2000
Springer
15 years 9 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
137
click to vote
ALT
2006
Springer
16 years 2 months ago
2006
Springer
We address the problem of reinforcement learning in which observations may exhibit an arbitrary form of stochastic dependence on past observations and actions. The task for an age...