Sciweavers

567 search results - page 9 / 114
» Reconstructing Numbers from Pairwise Function Values
Sort
View
AMOST
2005
ACM
14 years 2 months ago
Modeling requirements for combinatorial software testing
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
Christopher M. Lott, Ashish Jain, Siddhartha R. Da...
ISBI
2008
IEEE
14 years 9 months ago
Ultrasound strain imaging: From nano-scale motion detection to macro-scale functional imaging
With ultrasound strain imaging, the function of tissue and organs can be identified. The technique uses multiple images, acquired from tissue under different degrees of deformatio...
Chris L. de Korte, Richard G. P. Lopata, Maartje M...
CADE
2008
Springer
14 years 9 months ago
Proving Bounds on Real-Valued Functions with Computations
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
Guillaume Melquiond
CIMAGING
2010
202views Hardware» more  CIMAGING 2010»
13 years 10 months ago
An optimal algorithm for reconstructing images from binary measurements
We have studied a camera with a very large number of binary pixels referred to as the gigavision camera [1] or the gigapixel digital film camera [2, 3]. Potential advantages of th...
Feng Yang, Yue M. Lu, Luciano Sbaiz, Martin Vetter...
IACR
2011
92views more  IACR 2011»
12 years 8 months ago
From Non-Adaptive to Adaptive Pseudorandom Functions
Unlike the standard notion of pseudorandom functions (PRF), a non-adaptive PRF is only required to be indistinguishable from random in the eyes of a non-adaptive distinguisher (i....
Iftach Haitner, Itay Berman