7103 search results - page 805 / 1421 » Program Generation and Components |
182
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...
191
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...
203
Voted
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...
174
Voted
ANOR
2007
15 years 7 months ago
2007
In this survey we attempt to give a unified presentation of a variety of results on the lifting of valid inequalities, as well as a standard procedure combining mixed integer roun...
176
click to vote
INFSOF
2006
15 years 7 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...