319 search results - page 27 / 64 » Criteria for the verification of feature models |
170
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
DAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper we present a text independent on-line writer identification system based on Gaussian Mixture Models (GMMs). This system has been developed in the context of...
DAGSTUHL
2004
14 years 11 months ago
2004
Complexity is the core problem of contemporary information technology, as the "artificial complicatedness" of its artefacts is exploding. Intellectually easy and economic...
ICCV
1998
IEEE
15 years 12 months ago
1998
IEEE
We describe how to teach deformable models to maximize image segmentation correctness based on user-specified criteria, and we present a method for evaluating which criteria work ...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces a new architecture for face detection in color images. Based on skin locus and successive detectors, the method allows high efficiency under drastically vary...