3131 search results - page 339 / 627 » Phase-Based Local Features |
142
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
148
click to vote
CINQ
2004
Springer
15 years 10 months ago
2004
Springer
This chapter investigates subgroup discovery as a task of constraint-based mining of local patterns, aimed at describing groups of individuals with unusual distributional character...
173
Voted
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
117
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes a genetic algorithm for the DNA sequencing problem. The algorithm allows the input spectrum to contain both positive and negative errors as could be ...
144
click to vote
ICIAR
2004
Springer
15 years 10 months ago
2004
Springer
We present a multidimensional histogram method to inspect tonality on colour textured surfaces, e.g. ceramic tiles. Comparison in the noise dominated chromatic channels is error pr...