1827 search results - page 143 / 366 » Automatic thesaurus construction |
129
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
130
click to vote
MLDM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
131
click to vote
AIRS
2005
Springer
15 years 9 months ago
2005
Springer
This paper explores the integration of textual and visual information for cross-language image retrieval. An approach which automatically transforms textual queries into visual rep...
133
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper proposes a novel constructive learning algorithm for a competitive neural network. The proposed algorithm is developed by taking ideas from the immune system and demons...
155
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...