Sciweavers

8031 search results - page 289 / 1607
» Knowledge and Workflow Systems
Sort
View
ICTAI
1996
IEEE
15 years 11 months ago
Automatic Diagnoses for Properly Stratified Knowledge-Bases
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
Ofer Arieli, Arnon Avron
161
Voted
IMA
1997
Springer
105views Cryptology» more  IMA 1997»
15 years 10 months ago
Split Knowledge Generation of RSA Parameters
We show how it is possible for two parties to co-operate in generating the parameters for an RSA encryption system in such a way that neither individually has the ability to decry...
Clifford Cocks
ECAI
2008
Springer
15 years 8 months ago
WikiTaxonomy: A Large Scale Knowledge Resource
We present a taxonomy automatically generated from the system of categories in Wikipedia. Categories in the resource are identified as either classes or instances and included in a...
Simone Paolo Ponzetto, Michael Strube
FLAIRS
2001
15 years 8 months ago
Building a Large Knowledge Base Semi-Automatically
Wedescribe a knowledgeengineeringapproachby which conceptualknowledgeis extractedfroman informal,semanticallyweakmedicalthesaurus(UMLS)and automatically convertedinto a formallyso...
Udo Hahn, Stefan Schulz
ECCC
2007
91views more  ECCC 2007»
15 years 6 months ago
Which Languages Have 4-Round Zero-Knowledge Proofs?
We show that if a language L has a 4-round, black-box, computational zero-knowledge proof system with negligible soundness error, then ¯L ∈ MA. Assuming the polynomial hierarch...
Jonathan Katz