Sciweavers

2632 search results - page 39 / 527
» Predictive Representations of State
Sort
View
122
Voted
IJCAI
1997
15 years 4 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
110
Voted
ASPDAC
2004
ACM
72views Hardware» more  ASPDAC 2004»
15 years 8 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
129
Voted
3DPVT
2004
IEEE
175views Visualization» more  3DPVT 2004»
15 years 6 months 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,...
219
Voted
CVPR
2011
IEEE
14 years 10 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...
104
Voted
DATE
2003
IEEE
66views Hardware» more  DATE 2003»
15 years 8 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