241 search results - page 25 / 49 » CACM: past, present, and future |
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
We present a technique for following a live performance in the situation where a score is not available. Making use of a local alignment between recent and longer term musical inf...
AI
2005
Springer
13 years 9 months ago
2005
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
With the projected significant growth in mobile internet and multimedia services, there is a strong demand for nextgeneration appliances capable of wireless image communication. O...
IWANN
1993
Springer
14 years 1 months ago
1993
Springer
Over the past decade a large variety of hardware has been designed to exploit the inherent parallelism of the artificial neural network models. This paper presents an overview of ...
FSEN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...