Sciweavers

1299 search results - page 21 / 260
» Quantitative Simulation Games
Sort
View
CG
2002
Springer
15 years 2 months ago
A Comparison of Algorithms for Multi-player Games
The maxn algorithm (Luckhardt and Irani, 1986) for playing multiplayer games is flexible, but there are only limited techniques for pruning maxn game trees. This paper presents oth...
Nathan R. Sturtevant
CIMAGING
2009
130views Hardware» more  CIMAGING 2009»
15 years 10 days ago
Quantitative phase and amplitude imaging using Differential-Interference Contrast (DIC) microscopy
We present an extension of the development of an alternating minimization (AM) method1 for the computation of a specimen's complex transmittance function (magnitude and phase...
Chrysanthe Preza, Joseph A. O'Sullivan
QEST
2006
IEEE
15 years 8 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier
119
Voted
AIIDE
2006
15 years 3 months ago
Mixing Story and Simulation in Interactive Narrative
Simulation is a common feature in computer entertainment. However, in computer games simulation and story are often kept distinct by interleaving interactive play and cut scenes. ...
Mark O. Riedl, Andrew Stern, Don M. Dini
109
Voted
UIST
2000
ACM
15 years 6 months ago
The metropolis keyboard - an exploration of quantitative techniques for virtual keyboard design
Text entry user interfaces have been a bottleneck of nontraditional computing devices. One of the promising methods is the virtual keyboard on touch screens. Various layouts have ...
Shumin Zhai, Michael A. Hunter, Barton A. Smith