: The main contribution of this paper is a novel approach for fast searching in huge structural databases like the PDB. The data structure is based on an adaption of the generalize...
The encoding of image partitions plays a key role in the overall efficiency of the so-called region-based image coding techniques. Recently, a method based on the novel concept o...
In this paper, we present an alternate approach to estimate the parameters of a Markov random field (MRF) model for images using the concepts of homotopy continuation method. We a...
We present a novel sampling-based approximation technique for classical multidimensional scaling that yields an extremely fast layout algorithm suitable even for very large graphs....
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...