Sciweavers

1146 search results - page 154 / 230
» Finite cupping sets
Sort
View
LPAR
2010
Springer
15 years 1 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
15 years 1 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
131
Voted
ICIP
2009
IEEE
15 years 1 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»
15 years 1 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
94
Voted
CORR
2010
Springer
72views Education» more  CORR 2010»
15 years 22 days 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...