947 search results - page 12 / 190 » Using Natural Language Generation for Navigational Assistanc... |
135
click to vote
ACSC
2000
IEEE
15 years 7 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
111
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
CEC
2007
IEEE
2007
IEEE
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers
15 years 7 months ago
The combination of low-thrust propulsion and gravity assists allows designing high-energy missions. However the optimization of such trajectories is no trivial task. In this paper,...
134
Voted
TYPES
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
158
click to vote
ICMI
2003
Springer
15 years 8 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...