4131 search results - page 267 / 827 » The Generalized Max-Controlled Set Problem |
121
click to vote
ICALP
2009
Springer
16 years 4 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-...
116
click to vote
SIGIR
2009
ACM
15 years 11 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...
137
click to vote
SCALESPACE
2007
Springer
15 years 10 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...
113
click to vote
STACS
2007
Springer
15 years 10 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...
108
click to vote
TPHOL
2003
IEEE
15 years 9 months 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...