1529 search results - page 266 / 306 » On the Construction of Ontologies based on Natural Language ... |
139
click to vote
ICFP
2006
ACM
16 years 13 days ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
107
click to vote
BMCBI
2007
15 years 18 days ago
2007
Background: Interest is growing in the application of syntactic parsers to natural language processing problems in biology, but assessing their performance is difficult because di...
121
click to vote
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
In recent years, corporate governance has become a more and more important concern in investment decision-making. As one of the most important factors in evaluating corporate gove...
86
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Clinical medical records contain a wealth of information, largely in free-text form. Means to extract structured information from free-text records is an important research endeav...
ANLP
1994
15 years 1 months ago
1994
Automatic text tagging is an important component in higher level analysis of text corpora, and its output can be used in many natural language processing applications. In language...