Sciweavers

1299 search results - page 7 / 260
» Quantitative Simulation Games
Sort
View
ISAAC
2009
Springer
169views Algorithms» more  ISAAC 2009»
15 years 6 months ago
The Complexity of Solving Stochastic Games on Graphs
We consider some well-known families of two-player zero-sum perfect-information stochastic games played on finite directed graphs. Generalizing and unifying results of Liggett and...
Daniel Andersson, Peter Bro Miltersen
84
Voted
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 5 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
MICCAI
2002
Springer
16 years 16 days ago
Using an Endoscopic Solo Surgery Simulator for Quantitative Evaluation of Human-Machine Interface in Robotic Camera Positioning
Abstract. An endoscopic solo surgery simulator was designed to quantitatively evaluate human-machine interface in robotic camera positioning systems. Our simulator can assess not o...
Atsushi Nishikawa, Daiji Negoro, Haruhiko Kakutani...
98
Voted
GIS
2010
ACM
14 years 10 months ago
Quantitative analysis of simulated erosion for different soils
Rensselaer Polytechnic Institute Troy, NY Levee overtopping can lead to failure and cause catastrophic damage, as was the case during Hurricane Katrina. We present a computer simu...
Zhongxian Chen, Christopher Stuetzle, Barbara Cutl...
82
Voted
JCC
2007
85views more  JCC 2007»
14 years 11 months ago
Quantitative computer simulations of biomolecules: A snapshot
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
Wei Yang, Hugh Nymeyer, Huan-Xiang Zhou, Bernd A. ...