Sciweavers

1180 search results - page 114 / 236
» A generic structure-from-motion framework
Sort
View
CP
2004
Springer
15 years 2 months ago
Set Variables and Local Search
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...
Magnus Ågren
103
Voted
FASE
2000
Springer
15 years 2 months ago
More About TAS and IsaWin - Tools for Formal Program Development
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
Christoph Lüth, Burkhart Wolff
BMVC
2001
15 years 1 months ago
Comparison of 3D Algorithms for Non-rigid Motion and Correspondence Estimation
We address the problem of non-rigid motion and correspondence estimation in 3D images in the absense of prior domain information. A generic framework is utilized in which a soluti...
Pavel Laskov, Chandra Kambhamettu
87
Voted
DAGM
2008
Springer
15 years 18 days ago
Boosting for Model-Based Data Clustering
In this paper a novel and generic approach for model-based data clustering in a boosting framework is presented. This method uses the forward stagewise additive modeling to learn t...
Amir Saffari, Horst Bischof
IC
2007
15 years 8 days ago
Ajax Integration Approach for Collaborative Calendar-Server Web Services
- The proliferation of the impressive web technologies provides developers with a way to produce performance efficient, usable, rich and interactive web based applications. A set o...
Ahmet Fatih Mustacoglu, Geoffrey Fox