1486 search results - page 117 / 298 » Algorithms for two-box covering |
152
click to vote
EC
2000
15 years 3 months ago
2000
To successfully apply evolutionary algorithms to the solution of increasingly complex problems, we must develop effective techniques for evolving solutions in the form of interact...
138
Voted
ISCI
2000
15 years 3 months ago
2000
This paper combines quantum computation with classical neural network theory to produce a quantum computational learning algorithm. Quantum computation uses microscopic quantum lev...
139
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
150
click to vote
ECCC
2010
15 years 2 months ago
2010
Parameterized Resolution and, moreover, a general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [16] (FOCS’07). In that paper, Dan...
149
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— We introduce a method for fast and accurate registration of multiple horizontal laser scans obtained by a mobile robot. The method is based on novel representation of t...