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.

Softcover

ISBN 10: 0387566627 ISBN 13: 9780387566627

Verlag: Springer Verlag, 1993

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.

Details zur Ausgabe

• Verlag: Springer Verlag
• Erscheinungsdatum: 1993
• Sprache: Englisch
• ISBN 10: 0387566627
• ISBN 13: 9780387566627
• Einband: Taschenbuch
• Anzahl der Seiten: 689
• Herausgeber: Larsen P. G.
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland