Sciweavers

4745 search results - page 180 / 949
» Discretization: An Enabling Technique
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
15 years 6 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
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 ...
Pascal Sotin, David Cachera, Thomas P. Jensen
JSCIC
2008
101views more  JSCIC 2008»
15 years 6 months ago
An Improved Sharp Interface Method for Viscoelastic and Viscous Two-Phase Flows
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...
APPML
2005
101views more  APPML 2005»
15 years 6 months ago
A posteriori discontinuous Galerkin error estimates for transient convection-diffusion equations
A posteriori error estimates are derived for unsteady convection-diffusion equations discretized with the non-symmetric interior penalty and the local discontinuous Galerkin metho...
Alexandre Ern, Jennifer Proft
SIVP
2010
197views more  SIVP 2010»
15 years 4 months ago
Video watermarking using wavelet transform and tensor algebra
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...
CHI
2003
ACM
16 years 6 months ago
Efficient user interest estimation in fisheye views
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...
Jeffrey Heer, Stuart K. Card