Sciweavers

187 search results - page 13 / 38
» Computational methods for Generalized Sturmians basis
Sort
View
TOG
2002
165views more  TOG 2002»
15 years 1 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 2 months 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
105
Voted
COMPUTING
2006
130views more  COMPUTING 2006»
15 years 1 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
107
Voted
ICPR
2008
IEEE
16 years 3 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...
117
Voted
ECCV
2002
Springer
16 years 3 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