3082 search results - page 50 / 617 » New Bounds for the Controller Problem |
DAM
2010
15 years 3 months ago
2010
Rank-width is a structural graph measure introduced by Oum and Seymour and aimed at better handling of graphs of bounded clique-width. We propose a formal mathematical framework an...
108
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we study the Dynamic Traveling Repairman Problem (DTRP) for dynamic systems. In the DTRP, customers are arising dynamically and randomly in a bounded region R, a...
129
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
We consider a class of restless multi-armed bandit problems that arises in multi-channel opportunistic communications, where channels are modeled as independent and stochastically...
148
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
146
Voted
EJC
2008
15 years 3 months ago
2008
It is known that every constraint-satisfaction problem (CSP) reduces, and is in fact polynomially equivalent, to a digraph coloring problem. By carefully analyzing the constructio...