Sciweavers

555 search results - page 77 / 111
» Between Symbol and Language-in-use
Sort
View
ICASSP
2009
IEEE
15 years 11 months ago
Revisiting graphemes with increasing amounts of data
Letter units, or graphemes, have been reported in the literature as a surprisingly effective substitute to the more traditional phoneme units, at least in languages that enjoy a s...
Yun-Hsuan Sung, Thad Hughes, Françoise Beau...
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
15 years 11 months ago
Incremental polyphonic audio to score alignment using beat tracking for singer robots
— We aim at developing a singer robot capable of listening to music with its own “ears” and interacting with a human’s musical performance. Such a singer robot requires at ...
Takuma Otsuka, Toru Takahashi, Hiroshi G. Okuno, K...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
15 years 10 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
CIE
2009
Springer
15 years 10 months ago
On Stateless Multicounter Machines
We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine has m-counters operating on a one-way input delimited by left a...
Ömer Egecioglu, Oscar H. Ibarra
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
15 years 10 months ago
Characterizing the genetic programming environment for fifth (GPE5) on a high performance computing cluster
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
Kenneth Holladay