3690 search results - page 263 / 738 » Computation with classical sequents |
133
click to vote
DMSN
2009
ACM
15 years 10 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) ...
142
click to vote
CISS
2008
IEEE
15 years 10 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...
121
click to vote
ICASSP
2008
IEEE
15 years 10 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...
162
click to vote
ICQNM
2008
IEEE
15 years 10 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 ...
149
click to vote
IEEEPACT
2008
IEEE
15 years 10 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...