6800 search results - page 173 / 1360 » Testing with Functions as Specifications |
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
Voxel Coloring has become a popular technique for reconstructing a 3D scene from a set of 2D images. While many different variants of this technique exist, all rely on a test to d...
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
FSE
1994
Springer
14 years 1 months ago
1994
Springer
In this paper we present an improvement of the differential attack on hash functions based on block ciphers. By using the specific properties of the collision attack on hash functi...
IAJIT
2010
13 years 8 months ago
2010
: The paper is concerned with hiding information into a digital image, specifically, an English text is used to be hidden into a digital grey-scale image. The purpose of this resea...
CPHYSICS
2006
13 years 9 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...