Two Applications of Computer-Aided Theorem Discovery and Verification.
Fangzhen LinPublished in: KSEM (2009)
Keyphrases
- computer aided
- computer assisted
- model checking
- image analysis
- capsule endoscopy
- computer aided design
- computer aided diagnosis
- diagnosis of breast cancer
- knowledge discovery
- control system
- pattern recognition
- cad systems
- early diagnosis
- feature extraction
- pattern discovery
- relational databases
- design tools
- data mining