2163 search results - page 125 / 433 » cases 2004 |
140
click to vote
EVOW
2004
Springer
15 years 10 months ago
2004
Springer
This paper shows that it is possible to (1) discover novel implementations of median circuits using evolutionary techniques and (2) find out suitable median circuits in case that ...
109
click to vote
EWCBR
2004
Springer
15 years 10 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...
140
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Sharing among program variables is vital information when analyzing logic programs. This information is often expressed either as sets or as pairs of program variables that (may) s...
102
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
132
click to vote
GD
2004
Springer
15 years 10 months ago
2004
Springer
We present an O(n) time algorithm for simultaneous embedding of pairs of planar graphs on the O(n2 )×O(n2 ) grid, with at most three bends per edge, where n is the number of verti...