Sciweavers

5634 search results - page 266 / 1127
» About Abstract Classes
Sort
View
PAMI
2006
136views more  PAMI 2006»
15 years 6 months ago
Data Driven Image Models through Continuous Joint Alignment
This paper presents a family of techniques that we call congealing for modeling image classes from data. The idea is to start with a set of images and make them appear as similar a...
Erik G. Learned-Miller
ICCV
2003
IEEE
16 years 8 months ago
A New Paradigm for Recognizing 3-D Object Shapes from Range Data
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
MICCAI
2008
Springer
16 years 7 months ago
Regularized Discriminative Direction for Shape Difference Analysis
Abstract. The "discriminative direction" has been proven useful to reveal the subtle difference between two anatomical shape classes. When a shape moves along this direct...
Luping Zhou, Richard I. Hartley, Lei Wang, Paulett...
FM
2009
Springer
155views Formal Methods» more  FM 2009»
16 years 1 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
MFCS
2009
Springer
16 years 1 months ago
Synthesis for Structure Rewriting Systems
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
Lukasz Kaiser