1827 search results - page 67 / 366 » Automatic thesaurus construction |
147
Voted
MICCAI
2010
Springer
15 years 1 months ago
2010
Springer
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...
152
Voted
SOSL
1993
15 years 7 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
105
Voted
COLING
2000
15 years 5 months ago
2000
This paper describes experiments in the automatic construction of lexicons that would be useful in searching large document collections for text fragments that address a specific ...
137
Voted
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
Users of the World-Wide Web are not only confronted by an immense overabundance of information, but also by a plethora of tools for searching for the web pages that suit their inf...
132
Voted
ENTCS
2002
15 years 3 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...