2436 search results - page 364 / 488 » Comonadic Notions of Computation |
124
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
Abstract We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining c...
135
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
177
click to vote
CMMR
2004
Springer
15 years 9 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...
135
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
121
click to vote
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...