589 search results - page 87 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
105
click to vote
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, we study the voice and data service provisioning in an integrated system of cellular and wireless local area networks (WLANs). To maximize the overall resource u...
CP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
102
click to vote
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we present an evolutionary approach for inferring the structure and dynamics in gene circuits from observed expression kinetics. For representing the regulatory inte...
ECML
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. This paper presents a simple unsupervised learning algorithm for recognizing synonyms, based on statistical data acquired by querying a Web search engine. The algorithm, ...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...