Sciweavers

1213 search results - page 19 / 243
» Approximation in quantale-enriched categories
Sort
View
EGH
2007
Springer
14 years 27 days ago
Exact and error-bounded approximate color buffer compression and decompression
In this paper, we first present a survey of existing color buffer compression algorithms. After that, we introduce a new scheme based on an exactly reversible color transform, si...
Jim Rasmusson, Jon Hasselgren, Tomas Akenine-M&oum...
VALUETOOLS
2006
ACM
125views Hardware» more  VALUETOOLS 2006»
14 years 21 days ago
An approximative method for calculating performance measures of Markov processes
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
Juha Leino, Jorma T. Virtamo
ATAL
2005
Springer
14 years 8 days ago
Approximating state estimation in multiagent settings using particle filters
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
Prashant Doshi, Piotr J. Gmytrasiewicz
COMPGEOM
2010
ACM
13 years 11 months ago
Approximating loops in a shortest homology basis from point data
Inference of topological and geometric attributes of a hidden manifold from its point data is a fundamental problem arising in many scientific studies and engineering application...
Tamal K. Dey, Jian Sun, Yusu Wang
PODS
2000
ACM
102views Database» more  PODS 2000»
13 years 11 months ago
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...
Floris Geerts, Bart Kuijpers