15120 search results - page 305 / 3024 » Learning with Local Models |
172
click to vote
UAI
1997
15 years 8 months ago
1997
Robust Bayesian inference is the calculation of posterior probability bounds given perturbations in a probabilistic model. This paper focuses on perturbations that can be expresse...
164
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Recently, new segmentation models based on local information have emerged. They combine local statistics of the regions along the contour (inside and outside) to drive th...
155
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
182
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
222
Voted
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
In RoboCup-98, sparrows team worked hard just to get both a simulation and a middle size robot team to work and to successfully participate in a major tournament. For this year, we...