3228 search results - page 480 / 646 » Computationally Sound Proofs |
135
Voted
TEI
2009
ACM
15 years 8 months ago
2009
ACM
Tangible user interfaces for manipulating audio and music focus mostly on generating music on the spot, but rarely on how electronic musicians balance preparation and improvisatio...
176
click to vote
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
120
click to vote
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
104
click to vote
TACS
1997
Springer
15 years 7 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
116
click to vote
MM
1994
ACM
15 years 7 months ago
1994
ACM
This paper presents a beat tracking system that processes acoustic signals of music and recognizes temporal positions of beats in real time. Musical beat tracking is needed by var...