9849 search results - page 8 / 1970 » Algorithms and Experiments for the Webgraph |
ENTCS
2006
14 years 9 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
84
Voted
ILP
2003
Springer
15 years 2 months ago
2003
Springer
We describe an efficient implementation (MRDTL-2) of the Multi-relational decision tree learning (MRDTL) algorithm [23] which in turn was based on a proposal by Knobbe et al. [19] ...
67
Voted
CP
2008
Springer
14 years 11 months ago
2008
Springer
Experimentation of new algorithms is the usual companion section of papers dealing with SAT. However, the behavior of those algorithms is so unpredictable that even strong experime...
SODA
1994
ACM
1994
ACM
Computational Experience with an Approximation Algorithm on Large-Scale Euclidean Matching Instances
14 years 10 months ago
77
Voted
APGV
2005
ACM
15 years 3 months ago
2005
ACM
In this paper, we propose a tone mapping operator based on a multiscale representation pattern and on thresholds of detection contrast computed for local adaptation luminances. Th...