Sciweavers

1878 search results - page 28 / 376
» Feature Generation Using General Constructor Functions
Sort
View
FOAL
2009
ACM
14 years 2 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
CVPR
2007
IEEE
14 years 9 months ago
Eigenboosting: Combining Discriminative and Generative Information
A major shortcoming of discriminative recognition and detection methods is their noise sensitivity, both during training and recognition. This may lead to very sensitive and britt...
Helmut Grabner, Peter M. Roth, Horst Bischof
ACMACE
2009
ACM
13 years 5 months ago
Facial caricature generation using a quadratic deformation model
In this paper we propose a novel approach for generating expressive caricatures from an input image. The novelty of this work comes from combining an Active Appearance Model facia...
Mohammad Obaid, D. Lond, Ramakrishnan Mukundan, Ma...
CORR
2004
Springer
100views Education» more  CORR 2004»
13 years 7 months ago
On the Theory of Structural Subtyping
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
Viktor Kuncak, Martin C. Rinard
ATAL
2009
Springer
14 years 2 months ago
Learning a model of speaker head nods using gesture corpora
During face-to-face conversation, the speaker’s head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a mod...
Jina Lee, Stacy Marsella