16404 search results - page 930 / 3281 » A set coverage problem |
180
click to vote
SIGIR
2009
ACM
16 years 2 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...
212
click to vote
SYNASC
2008
IEEE
16 years 2 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
173
click to vote
ICMCS
2007
IEEE
16 years 2 months ago
2007
IEEE
We propose a new method for performing accurate background subtraction in scenes with a door, like a building entrance or a hallway. This kind of scene is common in surveillance a...
210
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...
180
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...