Sciweavers

381 search results - page 34 / 77
» Using Temporal Coherence to Build Models of Animals
Sort
View
142
Voted
NIPS
2004
15 years 4 months ago
A Three Tiered Approach for Articulated Object Action Modeling and Recognition
Visual action recognition is an important problem in computer vision. In this paper, we propose a new method to probabilistically model and recognize actions of articulated object...
Le Lu, Gregory D. Hager, Laurent Younes
144
Voted
CADE
2005
Springer
16 years 3 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill
132
Voted
3DPVT
2004
IEEE
136views Visualization» more  3DPVT 2004»
15 years 7 months ago
Efficient Model Creation of Large Structures based on Range Segmentation
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
Ioannis Stamos, Marius Leordeanu
147
Voted
HASE
1999
IEEE
15 years 7 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
ECCV
2010
Springer
15 years 3 months ago
Multiple Target Tracking in World Coordinate with Single, Minimally Calibrated Camera
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...
Wongun Choi, Silvio Savarese