Sciweavers

2632 search results - page 39 / 527
» Predictive Representations of State
Sort
View
IJCAI
1997
13 years 10 months ago
Mental Tracking: A Computational Model of Spatial Development
Psychological experiments on children's development of spatial knowledge suggest experience at self-locomotion with visual tracking as important factors. Yet, the mechanism u...
Kazuo Hiraki, Akio Sashima, Steven Phillips
ASPDAC
2004
ACM
72views Hardware» more  ASPDAC 2004»
14 years 2 months ago
Exploiting state encoding for invariant generation in induction-based property checking
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz
3DPVT
2004
IEEE
175views Visualization» more  3DPVT 2004»
14 years 15 days ago
Scalable and Efficient Coding of 3D Model Extracted from a Video
This paper presents an efficient and scalable coding scheme for transmitting a stream of 3D models extracted from a video. As in classical model-based video coding, the geometry, ...
Raphaèle Balter, Patrick Gioia, Luce Morin,...
CVPR
2011
IEEE
13 years 4 months ago
Real-time Human Pose Recognition in Parts from Single Depth Images
We propose a new method to quickly and accurately predict 3D positions of body joints from a single depth image, using no temporal information. We take an object recognition appro...
Jamie Shotton, Andrew Fitzgibbon, Mat Cook, Andrew...
DATE
2003
IEEE
66views Hardware» more  DATE 2003»
14 years 2 months ago
Using RTL Statespace Information and State Encoding for Induction Based Property Checking
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz