681 search results - page 43 / 137 » Combining Theorem Proving with Natural Language Processing |
CCS
2010
ACM
14 years 7 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
BIBE
2007
IEEE
15 years 4 months ago
2007
IEEE
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
KI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Our proposed software system, SceneMaker, aims to facilitate the production of plays, films or animations by automatically interpreting natural language film scripts an...
TAL
2004
Springer
15 years 3 months ago
2004
Springer
We describe a proposal on spelling correction intended to be applied on Galician, a Romance language. Our aim is to put into evidence the flexibility of a novelty technique that p...
132
click to vote
CSLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This article describes an attempt to implement a constraintbased dependency grammar for Czech, a language with rich morphology and free word order, in the formalism Exten...