Sciweavers

3670 search results - page 426 / 734
» Linear Recursive Functions
Sort
View
ICA
2004
Springer
16 years 3 days ago
Post-nonlinear Independent Component Analysis by Variational Bayesian Learning
Post-nonlinear (PNL) independent component analysis (ICA) is a generalisation of ICA where the observations are assumed to have been generated from independent sources by linear mi...
Alexander Ilin, Antti Honkela
167
Voted
PARA
2004
Springer
16 years 2 days ago
Structure-Preserving Model Reduction
A general framework for structure-preserving model reduction by Krylov subspace projection methods is developed. The goal is to preserve any substructures of importance in the matr...
Ren-Cang Li, Zhaojun Bai
TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
16 years 1 days ago
An Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
Kenneth L. McMillan
IUI
2003
ACM
15 years 12 months ago
Power tools and composite tools: integrating automation with direct manipulation
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
John M. Daughtry, Robert St. Amant
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 11 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...