1827 search results - page 136 / 366 » Automatic thesaurus construction |
117
Voted
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
129
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
142
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
There are major trends to advance the functionality of search engines to a more expressive semantic level. This is enabled by the advent of knowledge-sharing communities such as W...
121
Voted
TSD
2001
Springer
15 years 8 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...
106
click to vote
ANSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...