12774 search results - page 2371 / 2555 » A Framework for Proof Systems |
186
click to vote
TIP
2010
15 years 1 months ago
2010
Particle filters (PFs) are Bayesian filters capable of modeling nonlinear, non-Gaussian, and nonstationary dynamical systems. Recent research in PFs has investigated ways to approp...
165
click to vote
TIT
2010
15 years 1 months ago
2010
Many recent works that study the performance of multi-input multi-output (MIMO) systems in practice assume a Kronecker model where the variances of the channel entries, upon decom...
184
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
225
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—The Kukui Cup is an advanced dorm energy competition whose goal is to investigate the relationships among energy literacy, sustained energy conservation, and information...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present the problem of estimating cortical connectivity between different regions of the cortex from scalp electroencephalographic (EEG) or magnetoencephalographic (MEG) data a...