5138 search results - page 545 / 1028 » Randomized Algorithms for 3-SAT |
165
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper provides a detailed analysis of the motion planning subsystem for the MIT DARPA Urban Challenge vehicle. The approach is based on the Rapidly-exploring Random Trees ...
190
click to vote
CIBCB
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...
149
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Consider a large wireless ad hoc network that facilitates communication between random pairs of network nodes. The paper investigates the size of routing tables as the number o...
205
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
145
click to vote
SLS
2007
Springer
16 years 1 months ago
2007
Springer
We consider a possible scenario of experimental analysis on heuristics for optimization: identifying the contribution of local search components when algorithms are evaluated on th...