Sciweavers

2576 search results - page 42 / 516
» The Complexity of Zero Knowledge
Sort
View
AVI
2008
15 years 2 months ago
Visual design of service deployment in complex physical environments
In this paper we discuss the problem of deploying appliances for interactive services in complex physical environments using a knowledge based approach to define the relations bet...
Augusto Celentano, Fabio Pittarello
JIB
2006
110views more  JIB 2006»
14 years 11 months ago
Combining biomedical knowledge and transcriptomic data to extract new knowledge on genes
In biomedical research, interpretation of microarray data requires confrontation of data and knowledge from heterogeneous resources, either in the biomedical domain or in genomics...
Emilie Guérin, Gwenaëlle Marquet, Juli...
CSL
2006
Springer
15 years 3 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
SEKE
2010
Springer
14 years 10 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
FOCS
2009
IEEE
15 years 6 months ago
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy
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ï...
Yi Deng, Vipul Goyal, Amit Sahai