Sciweavers

4447 search results - page 614 / 890
» Model Checking Games
Sort
View
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 6 months ago
Optimizing real-time RDF data streams
Abstract. The Resource Description Framework (RDF) provides a common data model for the integration of emerging "real-time" streams of social and sensor data with the Web...
Joshua Shinavier
CGA
2006
15 years 6 months ago
Declarative Optimization-Based Drama Management in Interactive Fiction
takes place in an abstract model, connected to therealgamebypassingmessagesbackandforth,asFigure2illustrates.ThegametellstheDMwhenplotpoints occur, and the DM tells the game when i...
Mark J. Nelson, Michael Mateas, David L. Roberts, ...
EOR
2007
104views more  EOR 2007»
15 years 6 months ago
Optimal resource allocation for security in reliability systems
Recent results have used game theory to explore the nature of optimal investments in the security of simple series and parallel systems. However, it is clearly important in practi...
M. Naceur Azaiez, Vicki M. Bier
TCS
2008
15 years 6 months ago
Decidability and syntactic control of interference
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
James Laird
IOR
2007
74views more  IOR 2007»
15 years 6 months ago
Optimal Strategies for Sports Betting Pools
Abstract. Every fall, millions of Americans enter betting pools to pick winners of the weekly NFL football games. In the spring, NCAA tournament basketball pools are even more popu...
Bryan Clair, David Letscher