2393 search results - page 169 / 479 » Bounds-Consistent Local Search |
172
Voted
SISAP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—We propose a strategy to perform query processing on P2P similarity search systems based on peers and superpeers. We show that by approximating global but resumed inform...
153
click to vote
AISC
2004
Springer
15 years 8 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...
124
click to vote
HPDC
2002
IEEE
15 years 8 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...
95
Voted
ICRA
1993
IEEE
15 years 7 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...
128
click to vote
CIBCB
2007
IEEE
15 years 7 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...