Sciweavers

686 search results - page 120 / 138
» Bayesian Analysis of Linear Combiners
Sort
View
TOCL
2011
87views more  TOCL 2011»
13 years 2 months ago
The tractability of model checking for LTL: The good, the bad, and the ugly fragments
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the s...
Michael Bauland, Martin Mundhenk, Thomas Schneider...
JMLR
2010
134views more  JMLR 2010»
13 years 2 months ago
Estimation of a Structural Vector Autoregression Model Using Non-Gaussianity
Analysis of causal effects between continuous-valued variables typically uses either autoregressive models or structural equation models with instantaneous effects. Estimation of ...
Aapo Hyvärinen, Kun Zhang, Shohei Shimizu, Pa...
PAMI
2010
178views more  PAMI 2010»
13 years 2 months ago
Shape from Specular Flow
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface sha...
Yair Adato, Yuriy Vasilyev, Todd Zickler, Ohad Ben...
SIGPRO
2010
145views more  SIGPRO 2010»
13 years 2 months ago
Blind identification of MISO-FIR channels
In this paper, we address the problem of determining the order of MISO channels by means of a series of hypothesis tests based on scalar statistics. Using estimated 4th-order outp...
Carlos Estêvão R. Fernandes, Pierre C...
TIT
2010
100views Education» more  TIT 2010»
13 years 2 months ago
Theoretical and empirical results for recovery from multiple measurements
The joint-sparse recovery problem aims to recover, from sets of compressed measurements, unknown sparse matrices with nonzero entries restricted to a subset of rows. This is an ex...
Ewout van den Berg, Michael P. Friedlander