3040 search results - page 102 / 608 » Independent Natural Extension |
CORR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
EMNLP
2009
13 years 7 months ago
2009
We introduce an extension to CCG that allows form and function to be represented simultaneously, reducing the proliferation of modifier categories seen in standard CCG analyses. W...
EMNLP
2009
13 years 7 months ago
2009
We develop a general method to match unstructured text reviews to a structured list of objects. For this, we propose a language model for generating reviews that incorporates a de...
CICLING
2010
Springer
13 years 4 months ago
2010
Springer
Determining the direction of plagiarism (who plagiarized whom in a given pair of documents) is one of the most interesting problems in the field of automatic plagiarism detection. ...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...