Sciweavers

1146 search results - page 154 / 230
» Finite cupping sets
Sort
View
LPAR
2010
Springer
13 years 8 months ago
Coping with Selfish On-Going Behaviors
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
Orna Kupferman, Tami Tamir
SOFSEM
2010
Springer
13 years 8 months ago
Forcing Monotonicity in Parameterized Verification: From Multisets to Words
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
Parosh Aziz Abdulla
ICIP
2009
IEEE
13 years 7 months ago
Lamp: Linear approach for matching points
The 3D object recognition from a single or multiple 2D images is a very important problem in the computer vision field with a wide range of real applications. Considering the affi...
Manuel Marques, João Costeira
CORR
2010
Springer
70views Education» more  CORR 2010»
13 years 7 months ago
A Generalized Coupon Collector Problem
This paper provides analysis to a generalized version of the coupon collector problem, in which the collector gets d coupons each run and he chooses the one that he has the least ...
Weiyu Xu, Ao Kevin Tang
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 6 months ago
X-Armed Bandits
We consider a generalization of stochastic bandit problems where the set of arms, X, is allowed to be a generic topological space. We constraint the mean-payoff function with a di...
Sébastien Bubeck, Rémi Munos, Gilles...