16404 search results - page 928 / 3281 » A set coverage problem |
215
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
174
click to vote
STOC
2003
ACM
16 years 8 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
201
click to vote
ICALP
2009
Springer
16 years 8 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
173
click to vote
ICCD
2003
IEEE
16 years 4 months ago
2003
IEEE
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then so...
206
click to vote
SOFSEM
2010
Springer
16 years 4 months ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...