We present a framework for rigid registration of a set of B-mode ultrasound images to a CT scan in the context of Radiotherapy planning. Our main focus is on deriving an appropriat...
We present an approach for recovery from perceptual failures, or more precisely anchoring failures. Anchoring is the problem of connecting symbols representing objects to sensor da...
Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saf...
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...