4609 search results - page 726 / 922 » Automatic Generation of Sigma-Protocols |
172
click to vote
3DIM
2007
IEEE
16 years 26 days ago
2007
IEEE
We present an omnidirectional 3D acquisition system based on a mobile array of high-resolution consumer digital SLR cameras that automatically capture high dynamic range stereo pa...
188
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
181
click to vote
DEEC
2007
IEEE
16 years 26 days ago
2007
IEEE
The crawler engines of today cannot reach most of the information contained in the Web. A great amount of valuable information is "hidden" behind the query forms of onli...
154
click to vote
DSN
2007
IEEE
16 years 26 days ago
2007
IEEE
If we hope to automatically detect and diagnose failures in large-scale computer systems, we must study real deployed systems and the data they generate. Progress has been hampere...
186
click to vote
HASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...