We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
We introduce a robust method for computing viscous and viscoelastic two-phase bubble and drop motions. Our method utilizes a coupled level-set and volume-of-fluid technique for upd...
P. A. Stewart, N. Lay, Mark Sussman, Mitsuhiro Oht...
A posteriori error estimates are derived for unsteady convection-diffusion equations discretized with the non-symmetric interior penalty and the local discontinuous Galerkin metho...
We present a robust, hybrid non-blind MPEG video watermarking technique based on a high-order tensor singular value decomposition and the discrete wavelet transform (DWT). The core...
Emad E. Abdallah, A. Ben Hamza, Prabir Bhattachary...
We present a new technique for efficiently computing Degree-of-Interest distributions to inform the visualization of graph-structured data. The technique is independent of the int...