Automated microscopy in diagnostic histopathology: From image processing to automated reasoning.
Peter H. BartelsThomas GahmD. ThompsonPublished in: Int. J. Imaging Syst. Technol. (1997)
Keyphrases
- automated reasoning
- image processing
- image analysis
- reasoning systems
- knowledge representation
- image enhancement
- theorem prover
- theorem proving
- decision procedures
- probabilistic reasoning
- automated verification
- reasoning tasks
- expert systems
- computer vision
- prostate cancer
- computer aided
- automated analysis
- high resolution
- propositional satisfiability
- high throughput
- image segmentation
- constraint satisfaction
- neural network