1827 search results - page 67 / 366 » Automatic thesaurus construction |
MICCAI
2010
Springer
13 years 9 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...
SOSL
1993
14 years 3 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...
COLING
2000
14 years 16 days 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 ...
SIGIR
2002
ACM
13 years 10 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...
ENTCS
2002
13 years 11 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...