Sciweavers

381 search results - page 34 / 77
» Using Temporal Coherence to Build Models of Animals
Sort
View
94
Voted
NIPS
2004
14 years 11 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
CADE
2005
Springer
15 years 10 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
3DPVT
2004
IEEE
136views Visualization» more  3DPVT 2004»
15 years 1 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
HASE
1999
IEEE
15 years 2 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
89
Voted
ECCV
2010
Springer
14 years 10 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