Sciweavers

555 search results - page 77 / 111
» Between Symbol and Language-in-use
Sort
View
ICASSP
2009
IEEE
14 years 2 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»
14 years 2 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»
14 years 2 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
14 years 2 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»
14 years 2 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