3228 search results - page 300 / 646 » Computationally Sound Proofs |
150
click to vote
COST
2007
Springer
15 years 10 months ago
2007
Springer
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
122
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
117
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper investigates the interaction between cultural evolution and biological evolution in the emergence of phonemic coding in speech. It is observed that our nearest relatives...
126
click to vote
NIME
2005
Springer
15 years 10 months ago
2005
Springer
The Smart Controller is a portable hardware device that responds to input control voltage, OSC, and MIDI messages; producing output control voltage, OSC, and MIDI messages (depend...
128
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
Future MIR systems will be of great use and pleasure for potential users. If researchers have a clear picture about their “customers” in mind they can aim at building and eval...