Sciweavers

947 search results - page 38 / 190
» Using Natural Language Generation for Navigational Assistanc...
Sort
View
NLDB
2007
Springer
15 years 6 months ago
A Lightweight Approach to Semantic Annotation of Research Papers
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, Joh...
GI
2004
Springer
15 years 5 months ago
Generating Dialogue Applications with the GEMINI Platform
: Within the EC funded research project GEMINI (Generic Environment for Multilingual Interactive Natural Interfaces) we aim at the development of a platform that assists the user t...
Stefan W. Hamerich, Volker Schless, Volker Schuber...
ACL
2012
13 years 2 months ago
How Are Spelling Errors Generated and Corrected? A Study of Corrected and Uncorrected Spelling Errors Using Keystroke Logs
This paper presents a comparative study of spelling errors that are corrected as you type, vs. those that remain uncorrected. First, we generate naturally occurring online error c...
Yukino Baba, Hisami Suzuki
IROS
2006
IEEE
123views Robotics» more  IROS 2006»
15 years 5 months ago
Robot Navigation based on the Mapping of Coarse Qualitative Route Descriptions to Route Graphs
— This paper describes the use of natural language route descriptions in the mobile robot navigation domain. Guided by corpus analysis and earlier work on coarse qualitative rout...
Christian Mandel, Udo Frese, Thomas Röfer
FM
2006
Springer
134views Formal Methods» more  FM 2006»
15 years 3 months ago
Formal Verification of a C Compiler Front-End
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
Sandrine Blazy, Zaynah Dargaye, Xavier Leroy