681 search results - page 124 / 137 » Combining Theorem Proving with Natural Language Processing |
AGP
2010
IEEE
14 years 3 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
The combined efforts of human volunteers have recently extracted numerous facts from Wikipedia, storing them as machine-harvestable object-attribute-value triples in Wikipedia inf...
ICDIM
2008
IEEE
14 years 4 months ago
2008
IEEE
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
ICDAR
2005
IEEE
14 years 3 months ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
Abstract. We describe an architecture for building speech-enabled conversational agents, deployed as self-contained Web services, with ability to provide inference processing on ve...