Sciweavers

3084 search results - page 240 / 617
» Learning to Take Actions
Sort
View
BC
2007
98views more  BC 2007»
15 years 6 months ago
Extending the mirror neuron system model, I
The paper introduces mirror neuron system II (MNS2), a new version of the MNS model (Oztop and Arbib in Biol Cybern 87(2):116–140, 2002) of action recognition learning by mirror ...
James Bonaiuto, Edina Rosta, Michael A. Arbib
ENTCS
2008
125views more  ENTCS 2008»
15 years 6 months ago
Can Refinement be Automated?
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
Peter Höfner, Georg Struth
SYNASC
2006
IEEE
103views Algorithms» more  SYNASC 2006»
16 years 18 days ago
Incremental Deterministic Planning
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
MM
2003
ACM
165views Multimedia» more  MM 2003»
15 years 12 months ago
Video retrieval using spatio-temporal descriptors
This paper describes a novel methodology for implementing video search functions such as retrieval of near-duplicate videos and recognition of actions in surveillance video. Video...
Daniel DeMenthon, David S. Doermann
AI
2008
Springer
15 years 6 months ago
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
Alfonso Gerevini, Alessandro Saetti, Ivan Serina