792 search results - page 41 / 159 » Constrained Ramsey Numbers |
99
Voted
SAT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
ROBOCUP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...
120
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
92
Voted
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper, we study the NP-hard delay-constrained least-cost path problem. A solution to this problem is needed to provide real-time communication service to connection-orient...
106
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Traditional IP Multicast has been proposed in order to manage group communications over the Internet in a bandwidth efficient manner. Although this proposition has been well studie...