4447 search results - page 728 / 890 » Model Checking Games |
191
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
196
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
Obscurance and Ambient Occlusion (AO) are popular techniques in both film and games that model how ambient light is shadowed. While it is largely a solved problem for static scen...
176
click to vote
INFOCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
—Unstructured networks (like ad-hoc or peer-to-peer networks) are networks without centralized control of their operation. Users make local decisions regarding whether to follow ...
191
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by ...
155
click to vote
CIG
2006
IEEE
16 years 17 days ago
2006
IEEE
— This paper develops an approach to the capture and measurement of the information contained in opponents’ bet actions in seven card stud poker. We develop a causal model link...