740 search results - page 91 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
100
click to vote
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
— Visible Past proposes a new class of interdisciplinary learning, documenting, knowledge production, and discovery experiences that are anchored in space and time indicators. Th...
BMCBI
2008
15 years 1 months ago
2008
Background: Combinatorial regulation of transcription factors (TFs) is important in determining the complex gene expression patterns particularly in higher organisms. Deciphering ...
104
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
Malware — a generic term that encompasses viruses, trojans, spywares and other intrusive code — is widespread today. Malware analysis is a multi-step process providing insight...
109
click to vote
FOCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriï...
101
click to vote
SIGMETRICS
2006
ACM
15 years 7 months ago
2006
ACM
Abstract—In this paper, we present NetQuest, a flexible framework for large-scale network measurement. We apply Bayesian experimental design to select active measurements that m...