4447 search results - page 622 / 890 » Model Checking Games |
182
Voted
VR
2008
IEEE
15 years 6 months ago
2008
IEEE
Virtual interactive student-oriented learning environment (VISOLE) is a game-based constructivist pedagogical approach that encompasses the creation of an online interactive world ...
162
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
Abstract. In the multiarmed bandit problem, a gambler must decide which arm of K nonidentical slot machines to play in a sequence of trials so as to maximize his reward. This class...
190
click to vote
FUIN
2010
15 years 5 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
194
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper studies the problem of utility maximization for clients with delay based QoS requirements in wireless networks. We adopt a model used in a previous work that ...
187
click to vote
IACR
2011
14 years 6 months ago
2011
In the area of privacy-preserving data mining, a differentially private mechanism intuitively encourages people to share their data truthfully because they are at little risk of ...