428 search results - page 4 / 86 » Completeness of a Fact Extractor |
185
click to vote
TABLEAUX
2000
Springer
15 years 8 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
144
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
136
Voted
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We present new explicit constructions of deterministic randomness extractors, dispersers and related objects. We say that a distribution X on binary strings of length n is a -sour...
137
Voted
ICCSA
2004
Springer
15 years 10 months ago
2004
Springer
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...
150
Voted
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
We consider information-theoretic key agreement between two parties sharing somewhat different versions of a secret w that has relatively little entropy. Such key agreement, also ...