Sciweavers

736 search results - page 11 / 148
» Sampling of operators
Sort
View
JSAT
2008
85views more  JSAT 2008»
14 years 10 months ago
Parallel SAT Solving using Bit-level Operations
We show how to exploit the 32/64 bit architecture of modern computers to accelerate some of the algorithms used in satisfiability solving by modifying assignments to variables in ...
Marijn Heule, Hans van Maaren
SIGMETRICS
2008
ACM
128views Hardware» more  SIGMETRICS 2008»
14 years 9 months ago
Confident estimation for multistage measurement sampling and aggregation
Measurement, collection, and interpretation of network usage data commonly involves multiple stage of sampling and aggregation. Examples include sampling packets, aggregating them...
Edith Cohen, Nick G. Duffield, Carsten Lund, Mikke...
PAMI
2007
103views more  PAMI 2007»
14 years 9 months ago
Performance of Biometric Quality Measures
—We document methods for the quantitative evaluation of systems that produce a scalar summary of a biometric sample’s quality. We are motivated by a need to test claims that qu...
Patrick Grother, Elham Tabassi
CGF
2007
83views more  CGF 2007»
14 years 10 months ago
Visibility Sampling on GPU and Applications
In this paper, we show how recent GPUs can be used to very efficiently and conveniently sample the visibility between two surfaces, given a set of occluding triangles. We use bitw...
Elmar Eisemann, Xavier Décoret
ICIP
2000
IEEE
15 years 11 months ago
POCS-Based Image Reconstruction from Irregularly-Spaced Samples
This paper presents a method for the reconstruction of a regularlysampled image from its irregularly-spaced samples. Such reconstruction is often needed in image processing and co...
Ryszard Stasinski, Janusz Konrad