3653 search results - page 662 / 731 » Learning of Partial Languages |
BIRTHDAY
2009
Springer
13 years 11 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...
BMCBI
2010
13 years 10 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...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
ENTCS
2006
13 years 10 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
ASE
2005
13 years 9 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...