262 search results - page 53 / 53 » Verifying Web Applications Using Bounded Model Checking |
TSP
2010
13 years 7 days ago
2010
We formulate and study a decentralized multi-armed bandit (MAB) problem. There are distributed players competing for independent arms. Each arm, when played, offers i.i.d. reward a...
SIGIR
2012
ACM
11 years 8 months ago
2012
ACM
Many private and/or public organizations have been reported to create and monitor targeted Twitter streams to collect and understand users’ opinions about the organizations. Tar...