21094 search results - page 4124 / 4219 » An experiment using DLV-K |
84
Voted
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
113
Voted
EUROSYS
2007
ACM
15 years 2 months ago
2007
ACM
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While exist...
96
Voted
DEXAW
2008
IEEE
15 years 2 months ago
2008
IEEE
In an authorship verification problem one is given writing examples from an author A, and one is asked to determine whether or not each text in fact was written by A. In a more ge...
139
click to vote
DILS
2008
Springer
15 years 2 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...
113
click to vote
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...