Sciweavers

1222 search results - page 64 / 245
» corr 2008
Sort
View
CORR
2008
Springer
120views Education» more  CORR 2008»
15 years 6 months ago
Cache-Oblivious Selection in Sorted X+Y Matrices
Let X[0..n - 1] and Y [0..m - 1] be two sorted arrays, and define the m
Mark de Berg, Shripad Thite
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
Single Chip Sensing of Multiple Gas Flows
The fabrication and experimental characterization of a thermal flow meter, capable of detecting and measuring two independent gas flows with a single chip, is described. The device...
P. Bruschi, M. Dei, M. Piotto
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
Structural abstract interpretation, A formal study using Coq
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
Yves Bertot
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
Persistent Queries
act state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are neede...
Andreas Blass, Yuri Gurevich
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 6 months ago
Asymptotically Optimum Universal One-Bit Watermarking for Gaussian Covertexts and Gaussian Attacks
The problem of optimum watermark embedding and detection was addressed in a recent paper by Merhav and Sabbag, where the optimality criterion was the maximum false
Pedro Comesaña, Neri Merhav, Mauro Barni