3736 search results - page 127 / 748 » Generative Programming |
132
click to vote
EMNLP
2008
15 years 4 months ago
2008
In this paper, we present an algorithm for learning a generative model of natural language sentences together with their formal meaning representations with hierarchical structure...
120
Voted
ACRI
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
123
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
105
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
107
Voted
WCRE
1997
IEEE
15 years 6 months ago
1997
IEEE
We present an approach for the generation of components for a software renovation factory. These components are generated from a context-free grammar definition that recognizes t...