Sciweavers

227 search results - page 18 / 46
» Linearly Parameterized Bandits
Sort
View
FSTTCS
2006
Springer
14 years 1 months ago
Validity Checking for Finite Automata over Linear Arithmetic Constraints
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
Gary Wassermann, Zhendong Su
UAI
2001
13 years 11 months ago
Linearity Properties of Bayes Nets with Binary Variables
It is "well known" that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved ca...
David Danks, Clark Glymour
PAMI
2006
178views more  PAMI 2006»
13 years 9 months ago
Learning Nonlinear Image Manifolds by Global Alignment of Local Linear Models
Appearance-based methods, based on statistical models of the pixel values in an image (region) rather than geometrical object models, are increasingly popular in computer vision. I...
Jakob J. Verbeek
CVPR
2007
IEEE
14 years 11 months ago
A linear estimation method for 3D pose and facial animation tracking
This paper presents an approach that incorporates Canonical Correlation Analysis (CCA) for monocular 3D face pose and facial animation estimation. The CCA is used to find the depe...
Franck Davoine, José Alonso Ybá&ntil...
SIGGRAPH
1996
ACM
14 years 1 months ago
Linear-Time Dynamics Using Lagrange Multipliers
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
David Baraff