2436 search results - page 92 / 488 » Comonadic Notions of Computation |
132
click to vote
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
125
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
118
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
The Evolving Oblique is an interactive video and sound installation that explores the spatialization of cinematic projection and the mediative role of the human body. Centered upo...
103
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
In research on musical audio-mining, annotated music databases are needed which allow the development of computational tools that extract from the musical audiostream the kind of ...
108
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...