Sciweavers

1272 search results - page 81 / 255
» The Set Cover with Pairs Problem
Sort
View
132
Voted
SODA
2012
ACM
253views Algorithms» more  SODA 2012»
13 years 3 months ago
Kernelization of packing problems
Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching f...
Holger Dell, Dániel Marx
93
Voted
WILF
2009
Springer
138views Fuzzy Logic» more  WILF 2009»
15 years 7 months ago
An Experimental Validation of Some Indexes of Fuzzy Clustering Similarity
Measuring the similarity between clusterings is a classic problem with several proposed solutions. In this work we focus on measures based on coassociation of data pairs and perfor...
Stefano Rovetta, Francesco Masulli
185
Voted

Book
357views
16 years 11 months ago
Foundations of Constraint Satisfaction
"Constraint satisfaction is a general problem in which the goal is to find values for a set of variables that will satisfy a given set of constraints. It is the core of many a...
Edward Tsang
83
Voted
TPHOL
2003
IEEE
15 years 6 months ago
A Coverage Checking Algorithm for LF
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
Carsten Schürmann, Frank Pfenning
ICMLA
2007
15 years 2 months ago
Phase transition and heuristic search in relational learning
Several works have shown that the covering test in relational learning exhibits a phase transition in its covering probability. It is argued that this phase transition dooms every...
Érick Alphonse, Aomar Osmani