2632 search results - page 317 / 527 » Alternating Timed Automata |
161
Voted
TASLP
2002
15 years 3 months ago
2002
We present a spectral domain, speech enhancement algorithm. The new algorithm is based on a mixture model for the short time spectrum of the clean speech signal, and on a maximum a...
124
Voted
PUC
2008
15 years 3 months ago
2008
In this paper, we present results from a study of mobile ticketing service adoption in public transportation. The theoretical background of the study is based on technology adoptio...
127
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...
240
click to vote
SBIA
2010
Springer
15 years 1 months ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
128
Voted
ACL
2010
15 years 1 months ago
2010
Finding allowable places in words to insert hyphens is an important practical problem. The algorithm that is used most often nowadays has remained essentially unchanged for 25 yea...