16430 search results - page 736 / 3286 » On Computable Tree Functions |
200
click to vote
ICIP
2004
IEEE
16 years 9 months ago
2004
IEEE
Video coding techniques yielding state-of-the-art compression performance require large amount of computational resources, hence practical implementations, which target a broad ma...
195
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
197
click to vote
IPMI
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. We propose a novel method, fMRI-Informed Regional Estimation (FIRE), which utilizes information from fMRI in E/MEG source reconstruction. FIRE takes advantage of the spat...
212
click to vote
SIGMETRICS
2009
ACM
16 years 2 months ago
2009
ACM
We consider the problem of designing scheduling algorithms for the downlink of cellular wireless networks where bandwidth is partitioned into tens to hundreds of parallel channels...
169
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Bayesian estimation in nonlinear stochastic dynamical systems has been addressed for a long time. Among other solutions, Particle Filtering (PF) algorithms propagate in time a Mon...