5634 search results - page 107 / 1127 » About Abstract Classes |
SAT
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We study simple classes of mixed Horn formulas, in which the structure of the Horn part is drastically constrained. We show that the SAT problem for formulas in these cla...
AML
2006
14 years 11 months ago
2006
Simpson introduced the lattice P of 0 1 classes under Medvedev reducibility. Questions regarding completeness in P are related to questions about measure and randomness. We presen...
SIGKDD
2010
14 years 5 months ago
2010
The goal of this work was to test whether the performance of a regular pairwise classifier can be improved when additional information about the hierarchical class structure is ad...
97
Voted
ECOOPW
1998
Springer
15 years 3 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
SIGMOD
2008
ACM
14 years 11 months ago
2008
ACM
This paper gives an overview on the YAGO-NAGA approach to information extraction for building a conveniently searchable, large-scale, highly accurate knowledge base of common fact...