Sciweavers

742 search results - page 64 / 149
» Classical conditioning
Sort
View
COLT
2007
Springer
14 years 2 months ago
Minimax Bounds for Active Learning
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
Rui Castro, Robert D. Nowak
ICIP
2003
IEEE
14 years 10 months ago
Quantization of adaptive 2D wavelet decompositions
Classical linear wavelet representations of images have the drawback that they are not well-suited to represent edge information. To overcome this problem, nonlinear multiresoluti...
Béatrice Pesquet-Popescu, Henk J. A. M. Hei...
CSIE
2009
IEEE
14 years 3 months ago
Discriminative Random Fields for Behavior Modeling
This paper proposed an approach of human behavior modeling based on Discriminative Random Fields. In this model, by introducing the hidden behavior feature functions and time wind...
Tianyu Huang, Chongde Shi, Fengxia Li
CSL
2009
Springer
14 years 3 months ago
Expanding the Realm of Systematic Proof Theory
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
Agata Ciabattoni, Lutz Straßburger, Kazushig...
ERSHOV
2009
Springer
14 years 3 months ago
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
One of the applications of supercompilation is proving properties of programs.We focus in this paper on a speci c task: proving term equivalence for a higher-order lazy functiona...
Ilya Klyuchnikov, Sergei A. Romanenko