430 search results - page 48 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
CP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
108
click to vote
VTS
2003
IEEE
15 years 3 months ago
2003
IEEE
Reseeding is used to improve fault coverage of pseudorandom testing. The seed corresponds to the initial state of the LFSR before filling the scan chain. The number of determinist...
WWW
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents a technique for visualizing large spatial data sets in Web Mapping Systems (WMS). The technique creates a hierarchical clustering tree, which is subsequently u...
109
click to vote
FLAIRS
2004
15 years 1 days ago
2004
In multimodal function optimization, niching techniques create diversification within the population, thus encouraging heterogeneous convergence. The key to the effective diversif...
SDM
2004
SIAM
15 years 1 days ago
2004
SIAM
Previous study has shown that mining frequent patterns with length-decreasing support constraint is very helpful in removing some uninteresting patterns based on the observation t...