3736 search results - page 451 / 748 » Hand-Writing Program Generator Generators |
206
click to vote
DBPL
1995
Springer
15 years 10 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
173
click to vote
NAACL
2007
15 years 8 months ago
2007
The task of selecting and ordering information appears in multiple contexts in text generation and summarization. For instance, methods for title generation construct a headline b...
172
click to vote
AAAI
2004
15 years 8 months ago
2004
Repetition is an important phenomenon in a variety of domains, such as music, computer programs and architectural drawings. A generative model for these domains should account for...
171
click to vote
AIIDE
2009
15 years 8 months ago
2009
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
197
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Craig interpolation has become a versatile tool in formal verification, for instance to generate intermediate assertions for safety analysis of programs. Interpolants are typically...