681 search results - page 24 / 137 » Combining Theorem Proving with Natural Language Processing |
EACL
2003
ACL Anthology
14 years 11 months ago
2003
ACL Anthology
In this paper, a word alignment approach is presented which is based on a combination of clues. Word alignment clues indicate associations between words and phrases. They can be b...
102
Voted
EMNLP
2009
14 years 7 months ago
2009
Current system combination methods usually use confusion networks to find consensus translations among different systems. Requiring one-to-one mappings between the words in candid...
EACL
2009
ACL Anthology
2009
ACL Anthology
Who is "You"? Combining Linguistic and Gaze Features to Resolve Second-Person References in Dialogue
14 years 7 months ago
We explore the problem of resolving the second person English pronoun you in multi-party dialogue, using a combination of linguistic and visual features. First, we distinguish gen...
151
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
124
Voted
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...