Sciweavers

5634 search results - page 266 / 1127
» About Abstract Classes
Sort
View
PAMI
2006
136views more  PAMI 2006»
15 years 4 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 6 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 6 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»
15 years 11 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
15 years 11 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