Sciweavers

491 search results - page 27 / 99
» Linear Quantifier Elimination
Sort
View
PERCOM
2009
ACM
14 years 2 months ago
Adaptive Linear Filtering Compression on Realtime Sensor Networks
Abstract—We present a lightweight lossless compression algorithm for realtime sensor networks. Our proposed Adaptive Linear Filtering Compression (ALFC) algorithm performs predic...
Aaron B. Kiely, Mingsen Xu, Wen-Zhan Song, Renjie ...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
14 years 27 days ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
TASLP
2008
120views more  TASLP 2008»
13 years 7 months ago
Rapid Speaker Adaptation Using Clustered Maximum-Likelihood Linear Basis With Sparse Training Data
Abstract-- Speaker space based adaptation methods for automatic speech recognition have been shown to provide significant performance improvements for tasks where only a few second...
Yun Tang, Richard Rose
PAMI
2011
13 years 2 months ago
Linear Local Models for Monocular Reconstruction of Deformable Surfaces
—Recovering the 3D shape of a nonrigid surface from a single viewpoint is known to be both ambiguous and challenging. Resolving the ambiguities typically requires prior knowledge...
Mathieu Salzmann, Pascal Fua
JMLR
2012
11 years 10 months ago
Statistical test for consistent estimation of causal effects in linear non-Gaussian models
This document contains supplementary material to the article ‘Statistical test for consistent estimation of causal effects in linear non-Gaussian models’, AISTATS 2012. A tabl...
Doris Entner, Patrik O. Hoyer, Peter Spirtes