3228 search results - page 473 / 646 » Computationally Sound Proofs |
120
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
— The Distributed Spanning Tree (DST) is an overlay structure designed to be scalable. It supports the growth from small scale to large scale. The DST is a tree without bottlenec...
119
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Simulated Evolution (SimE) is a sound stochastic approximation algorithm based on the principles of adaptation. If properly engineered it is possible for SimE to reach nearopti...
108
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Dependences for Alarm Diagnosis Xavier Rival ´Ecole Normale Sup´erieure 45, rue d’Ulm, 75230, Paris cedex 5, France We propose a framework for dependence analyses, adapted –a...
114
click to vote
MIR
2005
ACM
15 years 9 months ago
2005
ACM
The growing libraries of multimedia objects have increased the need for applications that facilitate search, browsing, discovery, recommendation and playlist construction. Many of...
113
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...