886 search results - page 123 / 178 » On the Autoreducibility of Random Sequences |
TAMC
2009
Springer
14 years 2 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— While peer-to-peer consensus algorithms have enviable robustness and locality for distributed estimation and computation problems, they have poor scaling behavior with ...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...
ICDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
: A new video watermarking algorithm for access control is introduced. This method is content-dependent and uses the dual tree complex wavelet transform (DT CWT) to create a waterm...
ECAL
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a study in the use of digital evolution to produce cooperative communication behavior in a population of digital organisms. The results demonstrate that digita...