294 search results - page 23 / 59 » Interaction with the Reorderable Matrix |
LOPSTR
1995
Springer
14 years 16 hour ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
CVPR
2009
IEEE
14 years 3 months ago
2009
IEEE
While video-based activity analysis and recognition has received much attention, existing body of work mostly deals with single object/person case. Coordinated multi-object activi...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— To address perception problems we must be able to track dynamics targets of the environment. An important issue of tracking is filtering problem in which estimates of the targ...
ICRA
1999
IEEE
14 years 23 days ago
1999
IEEE
Techniques for interactive 3D manipulation of articulated objects in cluttered environments should be geometricallyaware, going beyond basic inverse or forward kinematics to allow...
TMM
2011
13 years 3 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...