1686 search results - page 82 / 338 » Higher Order Deforestation |
137
click to vote
CSL
2002
Springer
15 years 3 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 ...
181
click to vote
ENTCS
2002
15 years 3 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...
117
click to vote
SCP
1998
15 years 3 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...
140
click to vote
EMNLP
2009
15 years 1 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...
151
click to vote
JMLR
2010
14 years 10 months ago
2010
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...