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...
A conic of the Veronese surface in PG(5, 3) is a quadrangle. If one such quadrangle is replaced with its diagonal triangle, then one obtains a point model K for Witt’s 5–(12, ...
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...