Sciweavers

1316 search results - page 61 / 264
» A Computational Approach to Compare Information Revelation P...
Sort
View
APLAS
2003
ACM
14 years 27 days ago
Resource Usage Verification
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
Kim Marriott, Peter J. Stuckey, Martin Sulzmann
ICPR
2008
IEEE
14 years 10 months ago
An adaptive Monte Carlo approach to nonlinear image denoising
This paper introduces a novel stochastic approach to image denoising using an adaptive Monte Carlo scheme. Random samples are generated from the image field using a spatially-adap...
Alexander Wong, Akshaya Kumar Mishra, Paul W. Fieg...
KCAP
2009
ACM
14 years 3 months ago
Interactively shaping agents via human reinforcement: the TAMER framework
As computational learning agents move into domains that incur real costs (e.g., autonomous driving or financial investment), it will be necessary to learn good policies without n...
W. Bradley Knox, Peter Stone
PPSN
2010
Springer
13 years 7 months ago
Globally Induced Model Trees: An Evolutionary Approach
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...
Marcin Czajkowski, Marek Kretowski
ECCV
2008
Springer
14 years 11 months ago
Stereo Matching: An Outlier Confidence Approach
One of the major challenges in stereo matching is to handle partial occlusions. In this paper, we introduce the Outlier Confidence (OC) which dynamically measures how likely one pi...
Li Xu, Jiaya Jia