2828 search results - page 184 / 566 » Custom Local Search |
195
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
165
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the design, implementationand evaluation of Mingle, a secure distributed search system. Each participatinghost runs a Mingle server, which maintains an inverte...
142
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper weshowthat parallel search techniquesderived fromtheir sequential counterparts can enable the solution of instances of the robot motionplanningproblemthat are comput...
169
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
-- A large and reliable DNA codeword library is the key to the success of DNA based computing. Searching for the set of reliable DNA codewords is an NP-hard problem, which can take...
150
click to vote
IJCAI
1993
15 years 7 months ago
1993
We introduce a new approach to GA (Genetic Algorithms) based problem solving. Earlier GAs did not contain local search (i.e. hill climbing) mechanisms, which led to optimization d...