Keyphrases
- computer aided
- lecture notes
- book constitutes the refereed proceedings
- computer science
- international symposium
- international conference
- lecture notes in artificial intelligence
- computer assisted
- asynchronous circuits
- international workshop
- computer aided diagnosis
- definition language
- diagnosis of breast cancer
- capsule endoscopy
- computer aided design
- verification method
- process planning
- model checking
- design tools
- artificial intelligence
- papers cover
- cad systems
- computational intelligence
- prostate cancer
- fault tree