Sciweavers

19798 search results - page 152 / 3960
» Is Structural Subtyping Useful
Sort
View
ICPR
2008
IEEE
14 years 3 months ago
Target tracking using mean-shift and affine structure
Chuan Zhao, Andrew Knight, Ian Reid
CIDM
2007
IEEE
14 years 3 months 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
SIBGRAPI
2007
IEEE
14 years 3 months 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
14 years 3 months ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...