4555 search results - page 169 / 911 » Deductive Algorithmic Knowledge |
101
click to vote
FLAIRS
2004
15 years 3 months ago
2004
This paper presents multiDE, an extension of Price and Storn's differential evolution (DE) algorithm that consistently outperforms state-of-the-art search techniques for iden...
112
click to vote
AAAI
2000
15 years 3 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
135
click to vote
UAI
1998
15 years 3 months ago
1998
This paper presents two new approaches to decomposing and solving large Markov decision problems (MDPs), a partial decoupling method and a complete decoupling method. In these app...
108
click to vote
CPHYSICS
2008
15 years 2 months ago
2008
A scalable parallel algorithm has been designed to study long-time dynamics of many-atom systems based on the nudged elastic band method, which performs mutually constrained molec...
119
click to vote
JCIT
2008
15 years 2 months ago
2008
MINING biological data is an emerging area of intersection between data mining and bioinformatics. Bio-informaticians have been working on the research and development of computat...