6274 search results - page 645 / 1255 » Proofs, Programs, Processes |
155
click to vote
NIME
2004
Springer
16 years 17 days ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
181
click to vote
NLDB
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper, we describe a new way to access information by “chatting” to an information source. This involves a chatbot, a program that emulates human conversation...
186
click to vote
ICALP
2003
Springer
16 years 12 days ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
173
click to vote
ICALP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
193
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: A new efficient type I architecture for motion estimation in video sequences based on the Full-Search Block-Matching (FSBM) algorithm is proposed in this paper. This architecture...