681 search results - page 111 / 137 » Combining Theorem Proving with Natural Language Processing |
IUCS
2009
ACM
15 years 4 months ago
2009
ACM
This paper proposes a new approach for the automatic extraction of bilingual terms from a domain-specific bilingual parallel corpus. We combine existing monolingual term extractor...
GRID
2003
Springer
15 years 2 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
108
Voted
JMLR
2012
13 years 3 days ago
2012
Open-text semantic parsers are designed to interpret any statement in natural language by inferring a corresponding meaning representation (MR – a formal representation of its s...
ICCSA
2003
Springer
15 years 2 months ago
2003
Springer
This paper describes a system to create animated 3D scenes of car accidents from written reports. The text-to-scene conversion process consists of two stages. An information extrac...
DLOG
2003
14 years 11 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...