914 search results - page 14 / 183 » Analysis of Heuristic Synergies |
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
75
Voted
INTERACT
2003
15 years 1 months ago
2003
: This paper reports on current development of usability heuristics for large screen information exhibits. By basing the creation of such heuristics on real systems, and identifyin...
KES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This article proposes a new design method based on a simple heuristic technique to eliminate harmonic in power systems. It is called modified least compensation current c...
107
click to vote
IJCAI
1989
15 years 28 days ago
1989
In this paper, a distributed heuristic search algorithm is presented. We show that the algorithm is admissible and give an informal analysis of its load balancing, scalability, an...
133
click to vote
VL
2010
IEEE
14 years 10 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...