Sciweavers

214 search results - page 27 / 43
» Efficient and Flexible Value Sampling
Sort
View
JSAT
2008
85views more  JSAT 2008»
14 years 9 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
JDCTA
2010
188views more  JDCTA 2010»
14 years 4 months ago
Compressive Sensing Signal Detection Algorithm Based on Location Information of Sparse Coefficients
Without reconstructing the signal themselves, signal detection could be solved by detection algorithm, which directly processes sampling value obtained from compressive sensing si...
Bing Liu, Ping Fu, Shengwei Meng, Lunping Guo
ECCV
2004
Springer
15 years 11 months ago
Interpolating Novel Views from Image Sequences by Probabilistic Depth Carving
Abstract. We describe a novel approach to view interpolation from image sequences based on probabilistic depth carving. This builds a multivalued representation of depth for novel ...
Annie Yao, Andrew Calway
UAI
2008
14 years 11 months ago
CORL: A Continuous-state Offset-dynamics Reinforcement Learner
Continuous state spaces and stochastic, switching dynamics characterize a number of rich, realworld domains, such as robot navigation across varying terrain. We describe a reinfor...
Emma Brunskill, Bethany R. Leffler, Lihong Li, Mic...
CORR
2002
Springer
132views Education» more  CORR 2002»
14 years 9 months ago
Robust Feature Selection by Mutual Information Distributions
Mutual information is widely used in artificial intelligence, in a descriptive way, to measure the stochastic dependence of discrete random variables. In order to address question...
Marco Zaffalon, Marcus Hutter