Login / Signup
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.
Luis M. Laita
Eugenio Roanes-Lozano
Victor Maojo
Luis de Ledesma
Published in:
EUROVAV (1999)
Keyphrases
</>
knowledge extraction
computer algebra
medical databases
diagnostic imaging
genetic algorithm
theorem prover
artificial intelligence
multimedia
evolutionary algorithm
knowledge discovery
medical imaging
systems engineering