278 search results - page 28 / 56 » Reasoning About General Games Described in GDL-II |
ACMACE
2006
ACM
15 years 5 months ago
2006
ACM
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...
109
click to vote
CW
2005
IEEE
15 years 1 months ago
2005
IEEE
Avatars that show intelligent behavior should have an access to general knowledge about the world, knowledge that humans store in their semantic memories. The simplest knowledge r...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
111
click to vote
TLDI
2005
ACM
15 years 5 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...