2327 search results - page 238 / 466 » Consistency of functional learning methods based on derivati... |
180
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
In this paper we identify sources of error in global illumination algorithms and derive bounds for each distinct category. Errors arise from three sources: inaccuracies in the bou...
252
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
194
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
We present a method for simultaneous dimension reduction and metastability analysis of high dimensional time series. The approach is based on the combination of hidden Markov model...
145
click to vote
NIPS
2004
15 years 8 months ago
2004
Survey propagation is a powerful technique from statistical physics that has been applied to solve the 3-SAT problem both in principle and in practice. We give, using only probabi...
170
click to vote
TCOS
2008
15 years 6 months ago
2008
This paper critically analyzes reduct construction methods evels. At a high level, one can abstract commonalities from the existing algorithms, and classify them into three basic g...