Sciweavers

919 search results - page 119 / 184
» A Framework for Representing Moving Objects
Sort
View
PAMI
2007
138views more  PAMI 2007»
14 years 9 months ago
A Fast Biologically Inspired Algorithm for Recurrent Motion Estimation
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
Pierre Bayerl, Heiko Neumann
ACL2
2006
ACM
15 years 3 months ago
Soundness of the simply typed lambda calculus in ACL2
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
Sol Swords, William R. Cook
AIED
2005
Springer
15 years 3 months ago
Tutorial Planning: Adapting Course Generation to Today's Needs
Most of today’s course generation does not allow an in-depth, generic representation of pedagogical knowledge. However, supporting individual learners with different goals requi...
Carsten Ullrich
3DPVT
2002
IEEE
184views Visualization» more  3DPVT 2002»
15 years 2 months ago
From 3D Shape Capture to Animated Models
This paper presents a framework for construction of animated models from captured surface shape of real objects. Algorithms are introduced to transform the captured surface shape ...
Adrian Hilton, Jonathan Starck, Gordon Collins
ICRA
2010
IEEE
138views Robotics» more  ICRA 2010»
14 years 8 months ago
Rao-Blackwellized particle filtering for probing-based 6-DOF localization in robotic assembly
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
Yuichi Taguchi, Tim K. Marks, Haruhisa Okuda