This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
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...
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...
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...
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a specic task: proving term
equivalence for a higher-order lazy functiona...