3228 search results - page 432 / 646 » Computationally Sound Proofs |
121
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes the CFE framework--Composition, Feedback, and Evolution--and presents an interactive music composition system. The system composes short, manageable pieces of ...
140
Voted
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Widely deployed multimedia services are expected to accommodate clients in a highly heterogeneous environment. Clients of a multimedia service may vary greatly in processing and c...
125
Voted
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Ultrasound has become a useful tool for speech scientists studying mechanisms of language sound production. State-of-the-art methods for extracting tongue contours from ultrasound...
133
Voted
AAAI
2006
15 years 5 months ago
2006
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...
116
Voted
CIE
2007
Springer
15 years 3 months ago
2007
Springer
Closed captioning has been enabling access to television for people who are deaf and hard of hearing since the early 1970s. Since that time, technology and people’s demands have...