Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science, 670) - Softcover

International Symposium Of Formal Methods Europe 1993 Odense, Denmark; Woodcock, J. C. P.

 
9780387566627: Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings (Lecture Notes in Computer Science, 670)

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

History and Development of Speech Recognition.- Challenges in Speech Synthesis.- Spoken Language Dialogue Models.- The Industry of Spoken-Dialog Systems and the Third Generation of Interactive Applications.- Deceptive Speech: Clues from Spoken Language.- Cognitive Approaches to Spoken Language Technology.- Expressive Speech Processing and Prosody Engineering: An Illustrated Essay on the Fragmented Nature of Real Interactive Speech.- Interacting with Embodied Conversational Agents.- Multimodal Information Processing for Affective Computing.- Spoken Language Translation.- Application of Speech Technology in Vehicles.- Spoken Dialogue Application in Space: The Clarissa Procedure Browser.- Military Applications: Human Factors Aspects of Speech-Based Systems.- Accessibility and Design for All Solutions Through Speech Technology.- Assessment and Evaluation of Speech-Based Interactive Systems: From Manual Annotation to Automatic Usability Evaluation.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9783540566625: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings (Lecture Notes in Computer Science, 670, Band 670)

Vorgestellte Ausgabe

ISBN 10:  3540566627 ISBN 13:  9783540566625
Verlag: Springer, 2008
Softcover