Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.

Walter Dosch Sönke Magnussen

Published in: SERA (2003)

Keyphrases

computer aided
higher order
data structure
computer assisted
high order
computer aided diagnosis
pairwise
markov random field
image analysis
computer aided design
diagnosis of breast cancer
cad systems
case study
prostate cancer
image processing
capsule endoscopy
neural network
design tools
data mining