Sciweavers

7840 search results - page 593 / 1568
» On generalized Ramsey numbers
Sort
View
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 6 months ago
Sum-Capacity and the Unique Separability of the Parallel Gaussian MAC-Z-BC Network
—THIS PAPER IS ELIGIBLE FOR THE STUDENT PAPER AWARD. It is known that the capacity of parallel (e.g., multi-carrier) Gaussian point-to-point, multiple access and broadcast channe...
Viveck R. Cadambe, Syed Ali Jafar
168
Voted
CP
2010
Springer
15 years 6 months ago
Computing the Density of States of Boolean Formulas
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
Stefano Ermon, Carla P. Gomes, Bart Selman
136
Voted
ESWA
2010
101views more  ESWA 2010»
15 years 6 months ago
A note on the truck and trailer routing problem
This study considers a relaxation of the truck and trailer routing problem (TTRP), called the relaxed truck and trailer routing problem (RTTRP). In the TTRP, the number of availab...
Shih-Wei Lin, Vincent F. Yu, Shuo-Yan Chou
GC
2010
Springer
15 years 6 months ago
Enumerative Properties of Rooted Circuit Maps
In 1966 Barnette introduced a set of graphs, called circuit graphs, which are obtained from 3-connected planar graphs by deleting a vertex. Circuit graphs and 3-connected planar g...
Zhicheng Gao, Han Ren
210
Voted
ICRA
2010
IEEE
127views Robotics» more  ICRA 2010»
15 years 6 months ago
Coordinating collective locomotion in an amorphous modular robot
— Modular robots can potentially assemble into a wide range of configurations to locomote in different environments. However, designing locomotion strategies for each configura...
Chih-Han Yu, Justin Werfel, Radhika Nagpal