5722 search results - page 274 / 1145 » Dynamic inference control |
125
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...
123
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
124
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...
134
click to vote
ENTCS
2008
15 years 4 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
176
click to vote
TOG
2012
13 years 7 months ago
2012
Marker-less motion capture is a challenging problem, particularly when only monocular video is available. We estimate human motion from monocular video by recovering three-dimensi...