956 search results - page 29 / 192 » Dimensions in program synthesis |
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
GPEM
2000
13 years 9 months ago
2000
Genetic programming is an automatic method for creating a computer program or other complex structure to solve a problem. This paper first reviews various instances where genetic p...
IV
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we present a novel method to visualize weather data with multi-layer controllable texture synthesis. Texture possesses multiple principal perceptual channels, which ...
ASE
2005
13 years 9 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...