Sciweavers

1340 search results - page 158 / 268
» Kalman Temporal Differences
Sort
View
ATVA
2006
Springer
133views Hardware» more  ATVA 2006»
15 years 7 months ago
Branching-Time Property Preservation Between Real-Time Systems
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Co...
CCS
2006
ACM
15 years 7 months ago
Provably-secure time-bound hierarchical key assignment schemes
A time-bound hierarchical key assignment scheme is a method to assign time-dependent encryption keys to a set of classes in a partially ordered hierarchy, in such a way that each ...
Giuseppe Ateniese, Alfredo De Santis, Anna Lisa Fe...
FGR
2004
IEEE
114views Biometrics» more  FGR 2004»
15 years 7 months ago
Combining Motion Segmentation with Tracking for Activity Analysis
We explore a novel motion feature as the appropriate basis for classifying or describing a number of fine motor human activities.Ourapproach not only estimates motion directions a...
Jiang Gao, Alexander G. Hauptmann, Howard D. Wactl...
131
Voted
FGR
2004
IEEE
129views Biometrics» more  FGR 2004»
15 years 7 months ago
Multiple Frame Motion Inference Using Belief Propagation
We present an algorithm for automatic inference of human upper body motion. A graph model is proposed for inferring human motion, and motion inference is posed as a mapping proble...
Jiang Gao, Jianbo Shi
ER
2006
Springer
87views Database» more  ER 2006»
15 years 7 months ago
Spatio-temporal and Multi-representation Modeling: A Contribution to Active Conceptual Modeling
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
Stefano Spaccapietra, Christine Parent, Esteban Zi...