Sciweavers

408 search results - page 37 / 82
» Regression with Linear Factored Functions
Sort
View
FOSSACS
2011
Springer
14 years 1 months ago
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
Naoki Kobayashi
SIAMCO
2010
125views more  SIAMCO 2010»
14 years 4 months ago
Optimal Input-Output Stabilization of Infinite-Dimensional Discrete Time-Invariant Linear Systems by Output Injection
We study the optimal input-output stabilization of discrete time-invariant linear systems in Hilbert spaces by output injection. We show that a necessary and sufficient condition ...
Mark R. Opmeer, Olof J. Staffans
AAAI
2008
15 years 14 days ago
Sparse Projections over Graph
Recent study has shown that canonical algorithms such as Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) can be obtained from graph based dimensionality ...
Deng Cai, Xiaofei He, Jiawei Han
PAMI
2012
13 years 17 days ago
Task-Driven Dictionary Learning
—Modeling data with linear combinations of a few elements from a learned dictionary has been the focus of much recent research in machine learning, neuroscience, and signal proce...
Julien Mairal, Francis Bach, Jean Ponce
JMLR
2010
150views more  JMLR 2010»
14 years 4 months ago
Supervised Dimension Reduction Using Bayesian Mixture Modeling
We develop a Bayesian framework for supervised dimension reduction using a flexible nonparametric Bayesian mixture modeling approach. Our method retrieves the dimension reduction ...
Kai Mao, Feng Liang, Sayan Mukherjee