681 search results - page 37 / 137 » Combining Theorem Proving with Natural Language Processing |
106
click to vote
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
EMNLP
2009
14 years 7 months ago
2009
In this paper we propose a novel statistical language model to capture long-range semantic dependencies. Specifically, we apply the concept of semantic composition to the problem ...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
EMNLP
2009
14 years 7 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...
ICGI
2010
Springer
14 years 10 months ago
2010
Springer
We recapitulate regular one-shot learning from membership and equivalence queries, positive and negative finite data. We present a meta-algorithm that generalizes over as many sett...