Sciweavers

437 search results - page 4 / 88
» Models and the locus of their truth
Sort
View
MLQ
2008
67views more  MLQ 2008»
13 years 7 months ago
Classical truth in higher types
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
Ulrich Berger
PE
2010
Springer
180views Optimization» more  PE 2010»
13 years 5 months ago
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
AROBOTS
2011
13 years 2 months ago
Learning GP-BayesFilters via Gaussian process latent variable models
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
Jonathan Ko, Dieter Fox
ICPR
2006
IEEE
14 years 8 months ago
A Ground Truth Correspondence Measure for Benchmarking
Automatic localisation of correspondences for the construction of Statistical Shape Models from examples has been the focus of intense research during the last decade. Several alg...
Anders Ericsson, Johan Karlsson