2981 search results - page 328 / 597 » Answer Set Planning |
130
Voted
FOSAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
133
Voted
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— The accelerations of and forces among contacting rigid bodies may be computed by formulating the dynamics equations and contact constraints as a complementarity problem [1]. Da...
141
click to vote
HRI
2006
ACM
15 years 11 months ago
2006
ACM
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
136
click to vote
SBCCI
2004
ACM
15 years 10 months ago
2004
ACM
This paper proposes a test planning method capable of reusing available processors as test sources and sinks, and the on-chip network as the access mechanism for the test of cores...
118
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...