In this paper, we present new results on the automated generalization of performance-related heuristics learned for knowledge-lean applications. By rst applying genetics-based learning to learn new heuristics for some small subsets of test cases in a problem space, we study methods to generalize these heuristics to unlearned subdomains of test cases. Our method uses a new statistical metric cal...

In this paper we introduce a two phase hyper-heuristic search method for solving the Eternity II puzzle. Eternity II is a challenging money prized edge matching puzzle. Solving the puzzle has been shown to be NP-complete [2]. Hyper-heuristics [1] are a recent trend in heuristic algorithms. They tend to be more general methods than meta-heuristics for solving optimization problems. Hyper-heurist...

Scalable packet classification is a key requirement to support scalable network applications like firewalls, intrusion detection, and differentiated services. With ever increasing in the line-rate core networks, it becomes great challenge design solution using hand-tuned heuristics approaches. In this paper, we present learning-based engine by building an efficient data structure for different ...

In many planning applications, actions can have highly diverse costs. Recent studies focus on the effects of diverse action costs on search algorithms, but not on their effects on domain-independent heuristics. In this paper, we demonstrate there are negative impacts of action cost diversity on merge-and-shrink (M&S), a successful abstraction method for producing high-quality heuristics for pla...

It is a common practice to use heuristic evaluations to assess usability and user experience of digital systems. Video games are no exception. Several video game researchers have presented different lists of best practice, design patterns, principles and heuristics over the last decade. The authors of this paper wanted to see if there is an aspect of priority that can be applied to an existing ...

Changes in global average temperatures and of the seasonal cycle are strongly coupled to the concentration of atmospheric CO2. I estimate transfer functions from changes in atmospheric CO2 and from changes in solar irradiance to hemispheric temperatures that have been corrected for the effects of precession. They show that changes from CO2 over the last century are about three times larger than...

This formalisation contains the proof that there is no anonymous and neutral Social Decision Scheme for at least four voters and alternatives that fulfils both SD-Efficiency and SD-Strategy-Proofness. The proof is a fully structured and quasi-human-redable one. It was derived from the (unstructured) SMT proof of the case for exactly four voters and alternatives by Brandl et al. [1]. Their proof...

We propose a heuristic-based method for discovering inductive invariants in the parameterized verification of safety properties. The promise of the method stems from powerful heuristics we have identified for verifying the cache coherence of directory based protocols. The heuristics are based on syntactic analysis of counterexamples generated during verification, combined with simple static ana...