Sciweavers

974 search results - page 94 / 195
» Hardware Synthesis from Term Rewriting Systems
Sort
View
MM
2005
ACM
133views Multimedia» more  MM 2005»
14 years 2 months ago
Content-based music audio recommendation
We present the MusicSurfer, a metadata free system for the interaction with massive collections of music. MusicSurfer automatically extracts descriptions related to instrumentatio...
Pedro Cano, Markus Koppenberger, Nicolas Wack
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
14 years 3 months ago
Evolution of adult male oral tract shapes for close and open vowels
In this paper, we describe an experiment to evolve oral tract (mouth) shapes for a set of vowels for two adult males. Target vowels were recorded in an acoustically anechoic room ...
David M. Howard, Andy M. Tyrrell, Crispin H. V. Co...
PLDI
2006
ACM
14 years 2 months ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
INFSOF
2006
66views more  INFSOF 2006»
13 years 9 months ago
Scenario-based multitasking for real-time object-oriented models
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
Saehwa Kim, Jiyong Park, Seongsoo Hong
SIGIR
2005
ACM
14 years 2 months ago
Web-based acquisition of Japanese katakana variants
This paper describes a method of detecting Japanese Katakana variants from a large corpus. Katakana words, which are mainly used as loanwords, cause problems with information retr...
Takeshi Masuyama, Hiroshi Nakagawa