Sciweavers

2715 search results - page 380 / 543
» Total Generalized Variation
Sort
View
127
Voted
ISMIR
2004
Springer
157views Music» more  ISMIR 2004»
15 years 9 months ago
Pattern Matching in Polyphonic Music as a Weighted Geometric Translation Problem
We consider the music pattern matching problem—to find occurrences of a small fragment of music called the “pattern” in a larger body of music called the “score”—as a...
Anna Lubiw, Luke Tanur
154
Voted
LATIN
2004
Springer
15 years 9 months ago
A Proof System and a Decision Procedure for Equality Logic
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
Olga Tveretina, Hans Zantema
PPSN
2004
Springer
15 years 9 months ago
Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms
In spite of the recent quick growth of the Evolutionary Multi-objective Optimization (EMO) research field, there has been few trials to adapt the general variation operators to t...
Olga Rudenko, Marc Schoenauer
107
Voted
AGP
2003
IEEE
15 years 9 months ago
An Evolving Agent with EVOLP
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
José Júlio Alferes, Antonio Brogi, J...
99
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
On the Intrinsic Locality Properties of Web Reference Streams
— There has been considerable work done in the study of Web reference streams: sequences of requests for Web objects. In particular, many studies have looked at the locality prop...
Rodrigo C. Fonseca, Virgilio Almeida, Mark Crovell...