1813 search results - page 203 / 363 » Instance Pruning Techniques |
176
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
176
click to vote
ASWC
2009
Springer
16 years 1 months ago
2009
Springer
Schema heterogeneity issues often represent an obstacle for discovering coreference links between individuals in semantic data repositories. In this paper we present an approach, w...
157
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
157
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
We suggest practical sub-linear size zero-knowledge arguments for statements involving linear algebra. Given commitments to matrices over a finite field, we give a sub-linear siz...
209
click to vote
SG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...