Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
Realistic generation of variable anatomical organ models and pathologies are crucial for a sophisticated surgical training simulator. A training scene needs to be different in eve...
This paper presents an analysis of the major mechanical component (the thorax) of the micromechanical flying insect (MFI), a centimeter sized aerial vehicle currently in developm...
Srinath Avadhanula, Robert J. Wood, Domenico Campo...
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...
Arjen P. de Vries, Brian S. Eberman, David E. Kova...