4355 search results - page 154 / 871 » From Interpretation to Compilation |
271
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
242
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
165
click to vote
EUROCOLT
1999
Springer
15 years 8 months ago
1999
Springer
We study the learnability of first order Horn expressions from equivalence and membership queries. We show that the class of expressions where every term in the consequent of a c...
167
click to vote
AIML
2000
15 years 5 months ago
2000
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
125
click to vote
LREC
2008
15 years 5 months ago
2008
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...