2586 search results - page 197 / 518 » Automatic Abstraction for Congruences |
133
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we describe a CBR system for applying musically acceptable tempo transformations to monophonic audio recordings of musical performances. Within the tempo t...
178
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
171
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
182
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...
153
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents a method for automatic removal of artifacts that appear in silhouettes extracted from polygonal meshes due to the discrete nature of meshes and numeri...