We propose a method that rates the suitability of given templates for template-based tracking in real-time. This is important for applications with online template selection, such...
This paper presents a unique spectral modelling approach suitable for digital camera image processing. The proposed vector model combines both the magnitude and directional charac...
This paper addresses the problem of content-based synchronization for robust watermarking. Synchronization is a process of extracting the location to embed and detect the signature...
Hae-Yeoun Lee, Jong-Tae Kim, Heung-Kyu Lee, Young-...
We are developing virtual fixtures for the internal mammary artery (IMA) harvest portion of robot-assisted coronary artery bypass graft procedures. A preoperative CT scan will be p...
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, Jame...