Inference and Verification in Medical Appropriateness Criteria Using Gröbner Bases.
Luis M. LaitaEugenio Roanes-LozanoVictor MaojoPublished in: AISC (1998)
Keyphrases
- numerically stable
- inference process
- bayesian networks
- medical diagnosis
- medical information
- evaluation criteria
- polynomial equations
- medical data
- medical imaging
- model checking
- face verification
- basis functions
- multi criteria
- formal verification
- selection criteria
- verification method
- methods in computer vision
- neural network
- medical knowledge
- medical domain
- bayesian inference
- probabilistic inference
- belief networks
- image analysis
- knowledge base