2678 search results - page 274 / 536 » Comparative Evaluation of Approaches to Propositionalization |
194
click to vote
AMC
2005
15 years 6 months ago
2005
Batch verification is a method to verify multiple signatures at once. There are two issues associated with batch verification. One is the security problem and the other is the com...
190
click to vote
JSW
2007
15 years 6 months ago
2007
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
155
click to vote
CN
2004
15 years 6 months ago
2004
This work focuses on mobility management in a multicast environment. Traditional solutions, based either on bi-directional tunneling or on remote subscription, have different draw...
153
click to vote
ML
2000
ACM
15 years 6 months ago
2000
ACM
Abstract. A single mechanism is responsible for three pathologies of induction algorithms: attribute selection errors, overfitting, and oversearching. In each pathology, induction ...
205
click to vote
SIGMOD
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we describe XXL (eXtensible and fleXible Library), a toolkit for rapid prototyping query processing algorithms. XXL is a flexible, high-level, platform independent J...