3228 search results - page 472 / 646 » Computationally Sound Proofs |
170
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
137
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
Beginning in the middle of the twentieth century, composers of experimental music developed a number of new notational representations, most often falling under the category of gr...
157
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
Due to the subjective nature of human perception, classification of the emotion of music is a challenging problem. Simply assigning an emotion class to a song segment in a determi...
193
click to vote
MOBICOM
2006
ACM
16 years 14 days ago
2006
ACM
In underwater sensor networks (UWSNs), determining the location of every sensor is important and the process of estimating the location of each node in a sensor network is known a...
175
click to vote
WWW
2006
ACM
16 years 14 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...