1564 search results - page 42 / 313 » Extensions to the Estimation Calculus |
123
click to vote
TREC
2007
15 years 3 months ago
2007
We describe recent extensions to the Ephyra question answering (QA) system and their evaluation in the TREC 2007 QA track. Existing syntactic answer extraction approaches for fact...
108
click to vote
SIGPRO
2008
15 years 1 months ago
2008
Based on dynamic features of human speech, the local projection (LP) method has been adapted to the enhancement of speech corrupted by white noise. As an extension of the LP metho...
127
click to vote
ISNN
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. This paper studies the extension of the Generalization Complexity (GC) measure to real valued input problems. The GC measure, defined in Boolean space, was proposed as a...
STOC
2006
ACM
16 years 2 months ago
2006
ACM
The Santa Claus problem is an interesting exercise in concurrent programming which has been used in a comparison of the concurrency mechanisms of Ada and Java. We present a simple...
106
click to vote
CCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...