3628 search results - page 461 / 726 » The Decision Diffie-Hellman Problem |
178
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
187
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...
168
click to vote
SIGCPR
1999
ACM
15 years 11 months ago
1999
ACM
This report offers an interrogative-based approach to differentiating and quantifying information and knowledge within text. We examine the work of Popper, Shannon, Weaver, Brooke...
160
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
An important practical problem in fault diagnosis is discriminating between permanent faults and transient faults. In many computer systems, the majority of errors are due to tran...
184
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...