Sciweavers

77 search results - page 8 / 16
» Automatic linearization of nonlinear skinning
Sort
View
ASPDAC
2006
ACM
74views Hardware» more  ASPDAC 2006»
14 years 1 months ago
Macromodelling oscillators using Krylov-subspace methods
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...
Xiaolue Lai, Jaijeet S. Roychowdhury
JMLR
2007
137views more  JMLR 2007»
13 years 7 months ago
Building Blocks for Variational Bayesian Learning of Latent Variable Models
We introduce standardised building blocks designed to be used with variational Bayesian learning. The blocks include Gaussian variables, summation, multiplication, nonlinearity, a...
Tapani Raiko, Harri Valpola, Markus Harva, Juha Ka...
ACCV
2007
Springer
14 years 1 months ago
Kernel Discriminant Analysis Based on Canonical Differences for Face Recognition in Image Sets
A novel kernel discriminant transformation (KDT) algorithm based on the concept of canonical differences is presented for automatic face recognition applications. For each individu...
Wen-Sheng Vincent Chu, Ju-Chin Chen, Jenn-Jier Jam...
ICML
2006
IEEE
14 years 8 months ago
Bayesian regression with input noise for high dimensional data
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...
Jo-Anne Ting, Aaron D'Souza, Stefan Schaal
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
14 years 2 months ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko