Sciweavers

1033 search results - page 69 / 207
» The Relative History Heuristic
Sort
View
JMM2
2007
102views more  JMM2 2007»
14 years 11 months ago
A Three-Dimensional Spatiotemporal Template for Interactive Human Motion Analysis
—This paper describes a new three-dimensional spatiotemporal template, namely the Volumetric Motion History Image (VMHI), for the purpose of human motion analysis. Irregularities...
Alexandra Branzan Albu, Trevor Beugeling
LOGCOM
2007
126views more  LOGCOM 2007»
14 years 11 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
CI
2002
102views more  CI 2002»
14 years 11 months ago
Topological Spatio-Temporal Reasoning and Representation
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
Philippe Muller
AI
1999
Springer
14 years 11 months ago
An Affective Mobile Robot Educator with a Full-Time Job
Sage is a robot that has been installed at the Carnegie Museum of Natural History as a full-time autonomous member of the staff. Its goal is to provide educational content to muse...
Illah R. Nourbakhsh
SOSYM
2002
123views more  SOSYM 2002»
14 years 11 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck