4447 search results - page 656 / 890 » Model Checking Games |
147
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Using autonomous mobile robots to patrol environments for detecting intruders is a topic of increasing relevance for its possible applications. A large part of strategi...
181
click to vote
ACG
2009
Springer
16 years 1 months ago
2009
Springer
With the recent success of Monte-Carlo tree search algorithms in Go and other games, and the increasing number of cores in standard CPUs, the efficient parallelization of the sear...
194
click to vote
RSKT
2009
Springer
16 years 1 months ago
2009
Springer
A game-theoretic approach for learning optimal parameter values for probabilistic rough set regions is presented. The parameters can be used to define approximation regions in a p...
171
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Online auctions have become extremely popular in recent years. Ability to predict winning bid prices accurately can help bidders to maximize their profit. This paper proposes a nu...
174
click to vote
CSFW
2007
IEEE
16 years 29 days ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...