16430 search results - page 2872 / 3286 » On Computable Tree Functions |
178
click to vote
CC
2004
Springer
16 years 7 days ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
228
click to vote
CMMR
2004
Springer
16 years 7 days 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...
166
click to vote
CPAIOR
2004
Springer
16 years 7 days ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
175
click to vote
CTRSA
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a new cryptographic technique that we call universal re-encryption. A conventional cryptosystem that permits reencryption, such as ElGamal, does so only for a player w...
166
click to vote
DIS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...