3690 search results - page 267 / 738 » Computation with classical sequents |
116
click to vote
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
125
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Evolutionary Algorithms (EAs) have been largely applied to optimisation and synthesis of controllers. In spite of several successful applications and competitive solutions, the st...
115
click to vote
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Expression templates (ET) can significantly reduce the implementation effort of mathematical software. For some compilers, especially for those of supercomputers, it ca...
115
click to vote
ITRUST
2005
Springer
15 years 6 months ago
2005
Springer
Collaborative Filtering (CF), the prevalent recommendation approach, has been successfully used to identify users that can be characterized as “similar” according to their logg...
146
click to vote
CMMR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present algorithms for the automatic timesynchronization of score-, MIDI- or PCM-data streams which represent the same polyphonic piano piece. In contras...