446 search results - page 40 / 90 » Using Natural Language Generation in Automatic Route Descrip... |
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
116
click to vote
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
118
click to vote
SPATIALCOGNITION
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
NAACL
2003
15 years 1 months ago
2003
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition o...