Sciweavers

4287 search results - page 132 / 858
» Minimal Mental Models
Sort
View
ICIC
2007
Springer
14 years 3 months ago
Quantum Integration Error on Some Classes of Multivariate Functions
Abstract. We study the approximation of the integration of multivariate functions classes in the quantum model of computation. We first obtain a lower bound of the n-th minimal qu...
Peixin Ye, Qing He
SCALESPACE
2001
Springer
14 years 1 months ago
Robust Multi-scale Non-rigid Registration of 3D Ultrasound Images
Abstract. In this paper, we embed the minimization scheme of an automatic 3D non-rigid registration method in a multi-scale framework. The initial model formulation was expressed a...
Ioannis Pratikakis, Christian Barillot, Pierre Hel...
ICANN
2009
Springer
13 years 7 months ago
MINLIP: Efficient Learning of Transformation Models
Abstract. This paper studies a risk minimization approach to estimate a transformation model from noisy observations. It is argued that transformation models are a natural candidat...
Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. ...
CORR
2006
Springer
124views Education» more  CORR 2006»
13 years 9 months ago
Linear Encodings of Bounded LTL Model Checking
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
Armin Biere, Keijo Heljanko, Tommi A. Junttila, Ti...
ICMLA
2009
13 years 7 months ago
Automatic Feature Selection for Model-Based Reinforcement Learning in Factored MDPs
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
Mark Kroon, Shimon Whiteson