2869 search results - page 322 / 574 » Metropolis-Hastings algorithms with adaptive proposals |
181
click to vote
MPC
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
153
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
172
click to vote
NIPS
2003
15 years 8 months ago
2003
The standard 2-norm SVM is known for its good performance in twoclass classi£cation. In this paper, we consider the 1-norm SVM. We argue that the 1-norm SVM may have some advanta...
134
click to vote
BMVC
2000
15 years 8 months ago
2000
In this study we seek a fast method for robust, boundary preserving estimation of optical flow. Several studies have addressed this topic and proposed methods that account for vel...
190
click to vote
MVA
2000
15 years 8 months ago
2000
Previous works on range image segmentation concentrate on surface patches that can be well represented by certain mathematical functions. In this paper we consider the more qualit...