882 search results - page 100 / 177 » Local Search for Very Large SAT Problems |
127
click to vote
AAAI
1998
15 years 5 months ago
1998
The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
143
click to vote
JOTA
2011
14 years 11 months ago
2011
: Nowadays, solving nonsmooth (not necessarily differentiable) optimization problems plays a very important role in many areas of industrial applications. Most of the algorithms d...
193
click to vote
TEC
2010
14 years 10 months ago
2010
Niching is an important technique for multimodal optimization. Most existing niching methods require specification of certain niching parameters in order to perform well. These nic...
137
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...
148
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...