681 search results - page 131 / 137 » Combining Theorem Proving with Natural Language Processing |
BIRTHDAY
2009
Springer
13 years 10 months ago
2009
Springer
This article presents the evaluation of a valence dictionary for Polish produced with the help of shallow parsing techniques and compares those results to earlier results involving...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
TREC
2000
13 years 10 months ago
2000
We investigated the dictionary-based query translation method combining the translation disambiguation process using statistic cooccurrence information trained from the provided c...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Background: Since Swanson proposed the Undiscovered Public Knowledge (UPK) model, there have been many approaches to uncover UPK by mining the biomedical literature. These earlier...
ENGL
2006
13 years 9 months ago
2006
Recently, there has been a growth in the amount of machine readable information pertaining to the biomedical field. With this growth comes a desire to be able to extract informati...