Sciweavers

3909 search results - page 374 / 782
» Extreme Model Checking
Sort
View
ICPR
2006
IEEE
16 years 5 months ago
A Person and Context Specific Approach for Skin Color Classification
Skin color is an important feature of faces. Various applications benefit from robust skin color detection. Depending on camera settings, illumination, shadows, people's tans...
Matthias Wimmer, Bernd Radig, Michael Beetz
ICSE
2005
IEEE-ACM
16 years 4 months ago
What you always wanted to know about agile methods but did not dare to ask
A fleet of emerging agile methods is both gaining popularity and generating lots of controversy. Real-world examples argue for (e.g. [4]) and against (e.g. [6]) agile methods. Sev...
Frank Maurer, Grigori Melnik
CPAIOR
2009
Springer
15 years 11 months ago
The Polytope of Context-Free Grammar Constraints
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
Gilles Pesant, Claude-Guy Quimper, Louis-Martin Ro...
FOCS
2008
IEEE
15 years 11 months ago
Sketching and Streaming Entropy via Approximation Theory
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
Nicholas J. A. Harvey, Jelani Nelson, Krzysztof On...
IV
2008
IEEE
89views Visualization» more  IV 2008»
15 years 10 months ago
A Practical Way for Projects to Visualize Design Rationale
Design rationale remains poorly explained and rarely modelled on projects in industry. However, the reasons for design decisions are important when a specification has to be re-ex...
Ian Alexander