2576 search results - page 133 / 516 » The Complexity of Zero Knowledge |
171
click to vote
TVLSI
2008
15 years 4 months ago
2008
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
141
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Current trust models enable decision support at an implicit level by means of thresholds or constraint satisfiability. Decision support is mostly included only for a single binary...
150
click to vote
IJCV
2002
15 years 4 months ago
2002
In this paper we describe the theory and practice of self-calibration of cameras which are fixed in location and may freely rotate while changing their internal parameters by zoomi...
177
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Web forums have become an important data resource for many web applications, but extracting structured data from unstructured web forum pages is still a challenging task due to bo...
195
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
This article proposes a core query algebra for probabilistic databases. In essence, this core is part of the query languages of most probabilistic database systems proposed so far...