9849 search results - page 8 / 1970 » Algorithms and Experiments for the Webgraph |
108
Voted
ENTCS
2006
14 years 12 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...
101
click to vote
ILP
2003
Springer
15 years 5 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] ...
CP
2008
Springer
15 years 1 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
15 years 1 months ago
APGV
2005
ACM
15 years 5 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...