2932 search results - page 206 / 587 » Higher order mining |
149
click to vote
ACL
2001
15 years 8 months ago
2001
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
175
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
215
click to vote
ENTCS
2002
15 years 6 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
156
click to vote
SCP
1998
15 years 6 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
183
click to vote
EMNLP
2009
15 years 4 months ago
2009
The recent availability of large corpora for training N-gram language models has shown the utility of models of higher order than just trigrams. In this paper, we investigate meth...