4218 search results - page 238 / 844 » Complete sets of cooperations |
87
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
106
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
We present a Question-Answering (QA) system for Portuguese juridical documents. The QA system was applied to the complete set of decisions from several Portuguese juridical instit...
91
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
We extend graded modal logic (GML) to a logic that captures the concept of majority. We provide an axiomatization for majority logic, MJL, and sketch soundness and completeness pr...
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
For any class C und closed under NC1 reductions, it is shown that all sets complete for C under first-order (equivalently, Dlogtimeuniform AC0 ) reductions are isomorphic under ...
EURODAC
1995
IEEE
15 years 4 months ago
1995
IEEE
The presented fault model uniquely describes all structural changes in the transistor net list that can be caused by spot defects, including faults that connect more than two nets...