9284 search results - page 368 / 1857 » Knowledge State Algorithms |
150
click to vote
FLAIRS
2004
15 years 8 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...
185
click to vote
AAAI
2000
15 years 8 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...
209
click to vote
UAI
1998
15 years 8 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...
204
click to vote
JCIT
2008
15 years 7 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...
178
click to vote
JCP
2008
15 years 7 months ago
2008
The word over, among others, is associated with a great variety of syntactic categories and meanings. Although over has received attention from scholars in different frameworks for...