14158 search results - page 367 / 2832 » Generalized switch-setting problems |
142
click to vote
JAR
2002
15 years 4 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
155
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Verification decisions are often based on second order statistics estimated from a set of samples. Ongoing growth of computational resources allows for considering more and more fe...
188
click to vote
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes a general scheme to convert sequential ant-based algorithms into parallel shared memory algorithms. The scheme is applied to an ant-based algorithm for the ma...
140
click to vote
HYBRID
2009
Springer
15 years 2 months ago
2009
Springer
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [21], which have natural specifications, allow rich continuous dynamics and admit various proper...
136
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
We propose a novel method for multi-robot plan adaptation which can be used for adapting existing spatial plans of robotic teams to new environments or imitating collaborative spat...