681 search results - page 128 / 137 » Combining Theorem Proving with Natural Language Processing |
ACL
1998
13 years 10 months ago
1998
In this paper we sketch an approach for Natural Language parsing. Our approach is an example-based approach, which relies mainly on examples that already parsed to their represent...
SIGIR
2008
ACM
13 years 9 months ago
2008
ACM
Extraction based Multi-Document Summarization Algorithms consist of choosing sentences from the documents using some weighting mechanism and combining them into a summary. In this...
TOCHI
1998
13 years 8 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
RAS
2010
13 years 7 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...