Sciweavers

19798 search results - page 152 / 3960
» Is Structural Subtyping Useful
Sort
View
ICPR
2008
IEEE
16 years 21 days ago
Target tracking using mean-shift and affine structure
Chuan Zhao, Andrew Knight, Ian Reid
CIDM
2007
IEEE
16 years 18 days ago
Structure Prediction in Temporal Networks using Frequent Subgraphs
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
Mayank Lahiri, Tanya Y. Berger-Wolf
161
Voted
SIBGRAPI
2007
IEEE
16 years 16 days ago
Graph-based Object Tracking Using Structural Pattern Recognition
This paper proposes a model-based methodology for recognizing and tracking objects in digital image sequences. Objects are represented by attributed relational graphs (or ARGs), w...
Ana Beatriz V. Graciano, Roberto Marcondes Cesar J...
VMCAI
2007
Springer
16 years 11 days ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...