3674 search results - page 21 / 735 » Information Dependencies |
CIE
2007
Springer
14 years 2 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
GROUP
2007
ACM
14 years 14 days ago
2007
ACM
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...
CLEF
2005
Springer
14 years 2 months ago
2005
Springer
We describe Joost, our QA system for Dutch, which makes extensive use of dependency relations. We analyzed the full Dutch CLEF QA corpus syntactically and mined it off-line for i...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
State-of-the-art question answering (QA) systems employ termdensity ranking to retrieve answer passages. Such methods often retrieve incorrect passages as relationships among ques...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type ...