241 search results - page 24 / 49 » Generic Patch Inference |
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
KI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
MLCW
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes the PASCAL Network of Excellence first Recognising Textual Entailment (RTE-1) Challenge benchmark1 . The RTE task is defined as recognizing, given two text f...
AAAI
1993
13 years 11 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
EMNLP
2009
13 years 7 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...