Sciweavers

1497 search results - page 218 / 300
» Constraint Databases: A Survey
Sort
View
KDD
2004
ACM
139views Data Mining» more  KDD 2004»
16 years 6 months ago
Machine learning for online query relaxation
In this paper we provide a fast, data-driven solution to the failing query problem: given a query that returns an empty answer, how can one relax the query's constraints so t...
Ion Muslea
CADE
2005
Springer
16 years 6 months ago
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
CVPR
2006
IEEE
16 years 8 months ago
Modeling Age Progression in Young Faces
We propose a craniofacial growth model that characterizes growth related shape variations observed in human faces during formative years. The model draws inspiration from the `rev...
Narayanan Ramanathan, Rama Chellappa
ICST
2008
IEEE
16 years 22 days ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
MMSP
2008
IEEE
126views Multimedia» more  MMSP 2008»
16 years 22 days ago
Short utterance-based video aided speaker recognition
—Embedded speaker recognition in mobile devices could involve several ergonomic constraints and a limited amount of computing resources. Even if they have proved their efficienc...
Anthony Larcher, Jean-François Bonastre, Jo...