681 search results - page 125 / 137 » Combining Theorem Proving with Natural Language Processing |
ICDCS
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
ICML
1999
IEEE
14 years 1 months ago
1999
IEEE
Most research in text classification to date has used a “bag of words” representation in which each feature corresponds to a single word. This paper examines some alternative ...
APWEB
2006
Springer
14 years 21 days ago
2006
Springer
Rapid increase in the number of pages on web sites, and widespread use of search engine optimization techniques, lead to web sites becoming difficult to navigate. Traditional site ...
CLEF
2006
Springer
14 years 21 days ago
2006
Springer
This paper presents Wolverhampton University's participation in the WiQA competition. The method chosen for this task combines a high precision, but low recall information re...
COLING
2008
13 years 10 months ago
2008
The use of topical features is abundant in Natural Language Processing (NLP), a major example being in dictionary-based Word Sense Disambiguation (WSD). Yet previous research does...