2828 search results - page 276 / 566 » Custom Local Search |
193
click to vote
GECCO
2004
Springer
16 years 16 hour 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...
165
click to vote
TABLEAUX
1995
Springer
15 years 10 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...
160
click to vote
ICAI
2008
15 years 8 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...
154
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper considers strategies for external memory based optimal planning. An external breadth-first search exploration algorithm is devised that is guaranteed to find the costop...
162
click to vote
JSS
2008
15 years 6 months ago
2008
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...