681 search results - page 120 / 137 » Combining Theorem Proving with Natural Language Processing |
107
click to vote
ICALP
2003
Springer
15 years 2 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...
FUIN
2010
14 years 7 months ago
2010
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and...
BMCBI
2010
14 years 9 months ago
2010
Background: In HIV treatment it is critical to have up-to-date resistance data of applicable drugs since HIV has a very high rate of mutation. These data are made available throug...
76
Voted
CIKM
2007
Springer
15 years 3 months ago
2007
Springer
This paper introduces the use of Wikipedia as a resource for automatic keyword extraction and word sense disambiguation, and shows how this online encyclopedia can be used to achi...
75
Voted
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Little work to date in sentiment analysis (classifying texts by ‘positive’ or ‘negative’ orientation) has attempted to use fine-grained semantic distinctions in features ...