1517 search results - page 147 / 304 » New Approach To A Class Of Matrices |
120
Voted
IJCAI
1997
15 years 6 months ago
1997
Tractable covers are introduced as a new ap proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen eral framework is presented. Then, two ...
144
Voted
RIAO
2000
15 years 6 months ago
2000
In this paper we present a new approach to classifying radiographs, which is the first important task of the IRMA system. Given an image, we compute posterior probabilities for ea...
140
Voted
JSAT
2006
15 years 4 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...
147
click to vote
ATMOS
2010
15 years 3 months ago
2010
The Team Orienteering Problem is a routing problem on a graph with durations associated to the arcs and profits assigned to visiting the vertices. A fixed number of identical ve...
158
Voted
EMNLP
2009
15 years 2 months ago
2009
Named entity disambiguation concerns linking a potentially ambiguous mention of named entity in text to an unambiguous identifier in a standard database. One approach to this task...