6800 search results - page 857 / 1360 » Testing with Functions as Specifications |
144
click to vote
CMMR
2004
Springer
16 years 9 days ago
2004
Springer
In this paper we present an enhancement of edit distance based music performance annotation. The annotation captures musical expressivity not only in terms of timing deviations but...
161
click to vote
ECCV
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. A method for quantitative assessment of tree structures is reported allowing evaluation of airway tree morphology and its associated function. Our skeletonization and bra...
154
click to vote
ESOP
2004
Springer
16 years 9 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
159
click to vote
ESORICS
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...
188
click to vote
EUROGP
2004
Springer
16 years 9 days ago
2004
Springer
The paper presents for the first time automatic module acquisition and evolution within the graph based Cartesian Genetic Programming method. The method has been tested on a set of...