This paper proposes two very fast graph theoretic heuristics for the low power binding problem given fixed number of resources and multiple architectures for the resources. First...
The paper compares various approaches to implementing a compliant Cartesian behavior for robotic manipulators: impedance, admittance and stiffness control. A new controller struc...
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
We present here a new method for correcting the topology of objects segmented from medical images. Whereas previous techniques alter a surface obtained from the hard segmentation o...
The task of a fast correlation attack is to efficiently restore the initial content of a linear feedback shift register in a stream cipher using a detected correlation with the out...