4131 search results - page 267 / 827 » The Generalized Max-Controlled Set Problem |
191
click to vote
ICALP
2009
Springer
16 years 7 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-...
169
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
The need for evaluating large amounts of topics (queries) makes IR evaluation an uneasy task. In this paper, we study a topic selection problem for IR evaluation. The selection cr...
203
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
We address the problem of space-variant image deblurring, where different parts of the image are blurred by different blur kernels. Assuming a region-wise space variant point spr...
167
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...
169
click to vote
TPHOL
2003
IEEE
16 years 16 days ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...