Sciweavers

10790 search results - page 33 / 2158
» Using feature models to automate model transformations
Sort
View
MICCAI
2007
Springer
16 years 5 months ago
Statistical Shape Modeling Using MDL Incorporating Shape, Appearance, and Expert Knowledge
Abstract. We propose a highly automated approach to the point correspondence problem for anatomical shapes in medical images. Manual landmarking is performed on a small subset of t...
Aaron D. Ward, Ghassan Hamarneh
EUROS
2006
224views Robotics» more  EUROS 2006»
15 years 7 months ago
Metric Localization with Scale-Invariant Visual Features Using a Single Perspective Camera
Abstract. The Scale Invariant Feature Transform (SIFT) has become a popular feature extractor for vision-based applications. It has been successfully applied to metric localization...
Maren Bennewitz, Cyrill Stachniss, Wolfram Burgard...
ICSE
2001
IEEE-ACM
15 years 8 months ago
Using Transformation Systems for Software Maintenance and Reengineering
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
Ira D. Baxter
NIPS
2001
15 years 5 months ago
Fast, Large-Scale Transformation-Invariant Clustering
In previous work on "transformed mixtures of Gaussians" and "transformed hidden Markov models", we showed how the EM algorithm in a discrete latent variable mo...
Brendan J. Frey, Nebojsa Jojic
CSL
2008
Springer
15 years 5 months ago
Model Transformations in Decidability Proofs for Monadic Theories
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
Wolfgang Thomas