2340 search results - page 413 / 468 » Second quarter 2008 |
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
AFRICACRYPT
2011
Springer
13 years 22 days ago
2011
Springer
Abstract. The FSB (fast syndrome-based) hash function was submitted to the SHA-3 competition by Augot, Finiasz, Gaborit, Manuel, and Sendrier in 2008, after preliminary designs pro...
IOR
2011
13 years 16 days ago
2011
Consider selling bundles of indivisible goods to buyers with concave utilities that are additively separable in money and goods. We propose an ascending auction for the case when ...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We consider two scenarios of naming people in databases of news photos with captions: (i) finding faces of a single person, and (ii) assigning names to all faces. We combine an in...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We analyze the modulation of a light field via nonrefracting attenuators. In the most general case, any desired modulation can be achieved with attenuators having four degrees of ...