3729 search results - page 710 / 746 » On Formal Modeling of Agent Computations |
205
click to vote
ARCS
2005
Springer
15 years 11 months ago
2005
Springer
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
181
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
158
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we propose a computational model for social interaction between three people in a conversation, and demonstrate results using human video motion synthesis. We utilis...
265
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
156
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...