461 search results - page 63 / 93 » Splitting NP-Complete Sets |
122
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper describes the electronics and communication system of Odin, a novel heterogeneous modular robot made of links and joints. The electronics is divided into two...
139
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
We introduce the problem of managing a FIFO buffer of bounded space, where arriving packets have dependencies among them. Our model is motivated by the scenario where large data f...
150
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
154
click to vote
MATES
2009
Springer
15 years 10 months ago
2009
Springer
In constraint satisfaction, decomposition is a common technique to split a problem in a number of parts in such a way that the global solution can be efficiently assembled from th...
143
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Genetic programming (GP), is a very general and efficient technique, often capable of outperforming more specialized techniques on a variety of tasks. In this paper, we suggest ...