783 search results - page 38 / 157 » Bridging the Gaps |
GI
2005
Springer
14 years 4 months ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
VSTTE
2005
Springer
14 years 4 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
ACSC
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we tackle the problem of generating natural route descriptions on the basis of input obtained from a commercially available way-finding system. Our framework and ar...
ICDE
2010
IEEE
14 years 3 months ago
2010
IEEE
—This paper presents IQP - a novel approach to bridge the gap between usability of keyword search and expressiveness of database queries. IQP enables a user to start with an arbi...
ATAL
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Dyna is a single-agent architectural framework that integrates learning, planning, and reacting. Well known instantiations of Dyna are Dyna-AC and Dyna-Q. Here a multiage...