782 search results - page 55 / 157 » Can a Parser be Generated from Examples |
177
click to vote
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
108
click to vote
COLING
1990
15 years 5 months ago
1990
In this paper I describe how a significant class of cases that would involve (possibly complex) structural transfer in nmchine translation can be handled avoiding transfer. This i...
115
click to vote
JCT
2011
14 years 10 months ago
2011
The descendant set desc(α) of a vertex α in a digraph D is the set of vertices which can be reached by a directed path from α. A subdigraph of D is finitely generated if it is...
186
Voted
VLDB
2008
ACM
16 years 4 months ago
2008
ACM
We discuss a proposal for the implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from object-oriented to SQL ...
251
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...