Sciweavers

187 search results - page 13 / 38
» Computational methods for Generalized Sturmians basis
Sort
View
TOG
2002
165views more  TOG 2002»
14 years 11 months ago
CHARMS: a simple framework for adaptive simulation
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...
Eitan Grinspun, Petr Krysl, Peter Schröder
POPL
2004
ACM
16 years 6 days ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
COMPUTING
2006
130views more  COMPUTING 2006»
14 years 12 months ago
Factorized Solution of Lyapunov Equations Based on Hierarchical Matrix Arithmetic
We investigate the numerical solution of large-scale Lyapunov equations with the sign function method. Replacing the usual matrix inversion, addition, and multiplication by format...
Ulrike Baur, Peter Benner
ICPR
2008
IEEE
16 years 1 months ago
Detecting trends in social bookmarking systems using a probabilistic generative model and smoothing
We propose a method for the detection of trends in social bookmarking systems. Compared to other work in this emerging field, our approach has a more sound statistical basis. In o...
Alexander Korth, Christian Bauckhage, Florian Metz...
ECCV
2002
Springer
16 years 1 months ago
Image Features Based on a New Approach to 2D Rotation Invariant Quadrature Filters
Abstract. Quadrature filters are a well known method of low-level computer vision for estimating certain properties of the signal, as there are local amplitude and local phase. How...
Michael Felsberg, Gerald Sommer