1138 search results - page 98 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Correspondence establishment is a key step in statistical shape model building. There are several automated methods for solving this problem in 3D, but they usually can only handl...
IPMI
2007
Springer
14 years 8 months ago
2007
Springer
This paper presents a new method for constructing compact statistical point-based models of ensembles of similar shapes that does not rely on any specific surface parameterization....
IPMI
2007
Springer
14 years 8 months ago
2007
Springer
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
ENTCS
2008
13 years 8 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper addresses the problem of vehicle tracking under a single static, uncalibrated camera without any constraints on the scene or on the motion direction of vehicles. We int...