222 search results - page 14 / 45 » Tracking Information Flow in Dynamic Tree Structures |
AIIDE
2008
13 years 9 months ago
2008
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
In this paper we propose a system that recognises gait and quadruped structure from a sparse set of tracked points. In this work the motion information is derived from dynamic wil...