1816 search results - page 230 / 364 » A New Approach for Solving the Maximum Clique Problem |
166
click to vote
CATS
2008
15 years 8 months ago
2008
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
178
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
A new method for visual tracking of articulated objects is presented. Analyzing articulated motion is challenging because the dimensionality increase potentially demands tremendou...
167
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...
162
click to vote
CCE
2008
15 years 6 months ago
2008
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...
203
click to vote
ECP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...