9359 search results - page 69 / 1872 » Generalization Algorithms for Second-Order Terms |
118
Voted
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
113
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We present a novel link-based ranking algorithm RBS, which may be viewed as an extension of PageRank by back-step feature. Categories and Subject Descriptors H.3.3 [Information Se...
122
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
In the interference scheduling problem, one is given a set of n communication requests described by sourcedestination pairs of nodes from a metric space. The nodes correspond to d...
124
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
This paper proposes an efficient relevance feedback based interactive model for keyword generation in sponsored search advertising. We formulate the ranking of relevant terms as a...
112
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
The generic Multi-objective Evolutionary Algorithm (MOEA) aims to produce Pareto-front approximations with good convergence and diversity property. To achieve convergence, most mu...