1827 search results - page 143 / 366 » Automatic thesaurus construction |
180
Voted
AIME
2007
Springer
16 years 1 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...
171
click to vote
MLDM
2007
Springer
16 years 1 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 ...
180
Voted
AIRS
2005
Springer
16 years 15 days 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...
179
click to vote
GECCO
2005
Springer
16 years 14 days 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...
201
Voted
TYPES
2004
Springer
16 years 9 days 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...