Sciweavers

513 search results - page 28 / 103
» Generic Methods for Optimization-Based Modeling
Sort
View
AML
2010
102views more  AML 2010»
13 years 8 months ago
Kripke models for subtheories of CZF
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
Rosalie Iemhoff
ICAS
2006
IEEE
103views Robotics» more  ICAS 2006»
14 years 2 months ago
Model Driven capabilities of the DA-GRS model
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
Arnaud Casteigts
SEMWEB
2009
Springer
14 years 3 months ago
Results of GeRoMeSuite for OAEI 2009
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
Christoph Quix, Sandra Geisler, David Kensche, Xia...
ICIP
2009
IEEE
14 years 9 months ago
Determining Discriminative Anatomical Point Pairings Using Adaboost For 3d Face Recognition
In this paper, we present a novel method for 3D face recognition using adaboosted geodesic distance features. Firstly, a generic model is finely conformed to each face model conta...
CVPR
2007
IEEE
14 years 10 months ago
Composite Models of Objects and Scenes for Category Recognition
This paper presents a method of learning and recognizing generic object categories using part-based spatial models. The models are multiscale, with a scene component that specifie...
David J. Crandall, Daniel P. Huttenlocher