2080 search results - page 18 / 416 » Collections, Cardinalities, and Relations |
142
click to vote
DLOG
2010
14 years 12 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
125
Voted
TAMC
2009
Springer
15 years 8 months ago
2009
Springer
We investigate a natural combinatorial optimization problem called the Label Cut problem. Given an input graph G with a source s and a sink t, the edges of G are classified into ...
EOR
2006
15 years 1 months ago
2006
We consider the problem of partitioning a set of positive integers values into a given number of subsets, each having an associated cardinality limit, so that the maximum sum of v...
111
click to vote
JSAT
2006
15 years 1 months ago
2006
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the p...
112
click to vote
FQAS
2000
Springer
15 years 5 months ago
2000
Springer
- We investigate extensions of the classical measurement of effectiveness in information retrieval systems, precision and recall, to situations where the answer is modeled by a fuz...