8099 search results - page 7 / 1620 » Higher-Order Task Models |
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
AMCS
2008
13 years 9 months ago
2008
COMJ
2010
13 years 7 months ago
2010
ICML
2009
IEEE
14 years 4 months ago
2009
IEEE
In real sequence labeling tasks, statistics of many higher order features are not sufficient due to the training data sparseness, very few of them are useful. We describe Sparse H...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...