16430 search results - page 2897 / 3286 » On Computable Tree Functions |
168
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not ...
172
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents an experimental investigation of the following questions: how does the averagecase complexity of random 3-SAT, understood as a function of the order (...
161
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
High-level synthesis has recently started to gain industrial acceptance, due to the improved quality of results and the multi-objective optimizations offered. One optimization area...
170
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
189
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
We consider the problem of how to design large decentralized multiagent systems (MAS’s) in an automated fashion, with little or no hand-tuning. Our approach has each agent run a...