947 search results - page 18 / 190 » Using Natural Language Generation for Navigational Assistanc... |
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
BMCBI
2008
14 years 9 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
83
Voted
SPATIALCOGNITION
2004
Springer
15 years 2 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
78
Voted
ARTS
1999
Springer
15 years 1 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
LREC
2010
14 years 11 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...