1760 search results - page 81 / 352 » Connected Set Cover Problem and Its Applications |
164
click to vote
ENTCS
2007
15 years 4 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
140
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...
152
click to vote
USS
2010
15 years 2 months ago
2010
Oppressive regimes and even democratic governments restrict Internet access. Existing anti-censorship systems often require users to connect through proxies, but these systems are...
128
click to vote
WOWMOM
2009
ACM
15 years 11 months ago
2009
ACM
Distributed estimation of global parameters in intermittently connected mobile environments is a challenging problem. In this paper, we introduce a set of methods, based on gossip...
171
click to vote
JCO
2007
15 years 4 months ago
2007
The 2-interval pattern problem over its various models and restrictions was proposed by Vialette (2004) for the application of RNA secondary structure prediction. We present an O(n...