Sciweavers

255 search results - page 3 / 51
» Variability Models Must Not be Invariant!
Sort
View
DAGSTUHL
2006
13 years 7 months ago
A System for Object Class Detection
A successful detection and classification system must have two properties: it should be general enough to compensate for intra-class variability and it should be specific enough to...
Daniela Hall
CP
2006
Springer
13 years 9 months ago
Differentiable Invariants
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
Pascal Van Hentenryck, Laurent Michel
PAMI
2006
122views more  PAMI 2006»
13 years 5 months ago
Total Variation Models for Variable Lighting Face Recognition
In this paper, we present the logarithmic total variation (LTV) model for face recognition under varying illumination, including natural lighting conditions, where we rarely know t...
Terrence Chen, Wotao Yin, Xiang Sean Zhou, Dorin C...
CAV
2008
Springer
161views Hardware» more  CAV 2008»
13 years 7 months ago
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
Sumit Gulwani, Ashish Tiwari
SPLC
2004
13 years 7 months ago
Observations from the Recovery of a Software Product Family
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
Patricia Lago, Hans van Vliet