Computer-Aided Compositional Design and Verification for Modular Robots.

Tarik Tosun Gangyuan Jing Hadas Kress-Gazit Mark Yim

Published in: ISRR (1) (2015)

Keyphrases

computer aided
computer aided design
computer aided diagnosis
design tools
image analysis
diagnosis of breast cancer
capsule endoscopy
real time
neural network
knowledge based systems
controller design
pulmonary nodules
fault tree