2393 search results - page 242 / 479 » Bounds-Consistent Local Search |
121
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present some techniques for handling planning problems with numerical expressions that can be specified using the standard planning language PDDL. These techniques ar...
139
Voted
EVOW
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces a new social metaheuristic for the Max-Cut problem applied to a weighted undirected graph. This problem consists in finding a partition of the nodes into two ...
151
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
We have developed a new tool for virtual database screening. This tool, referred to as the Generic Evolutionary Method for molecular DOCKing (GEMDOCK), combines an evolutionary app...
125
Voted
TABLEAUX
1995
Springer
15 years 7 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
123
Voted
ICAI
2008
15 years 5 months ago
2008
: This paper presents a new approach to equalization of communication channels using Artificial Neural Networks (ANNs). A novel method of training the ANNs using Tabu based Back Pr...