5863 search results - page 766 / 1173 » On Model-Checking of P Systems |
159
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper presents the implementation of the CU VOCAL Web service, one of the first Chinese text-to-speech synthesis Web services. The CU VOCAL Web service can be easily integrat...
174
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
The investigation of a software system prior to a modification task often constitutes an important fraction of the overall effort associated with the task. We present Suade, an Ec...
121
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
CARMA is an advisory system for grasshopper infestations that has been successfully used since 1996. During CARMA’s history, grasshopper control has increasingly focused on envi...
138
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present two speech transformation approaches designed to increase the intelligibility of speech. The first approach is used in the context of increasing the intelligibility of...
168
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes the system architecture and core algorithms for a quadrotor helicopter that uses vision data to navigate an unknown, indoor, GPS-denied environment. Withou...