3690 search results - page 263 / 738 » Computation with classical sequents |
106
Voted
DMSN
2009
ACM
15 years 7 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
110
Voted
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Compressive sensing is a new signal acquisition technology with the potential to reduce the number of measurements required to acquire signals that are sparse or compres...
93
Voted
ICASSP
2008
IEEE
15 years 7 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...
136
Voted
ICQNM
2008
IEEE
15 years 7 months ago
2008
IEEE
Coin flipping is a cryptographic primitive in which two spatially separated players, who in principle do not trust each other, wish to establish a common random bit. If we limit ...
118
Voted
IEEEPACT
2008
IEEE
15 years 7 months ago
2008
IEEE
This work proposes and evaluates improvements to previously known algorithms for redundancy elimination. Enhanced Scalar Replacement combines two classic techniques, scalar replac...