Sciweavers

1237 search results - page 121 / 248
» Foundations of Modelling and Simulation of Complex Systems
Sort
View
127
Voted
ATAL
2007
Springer
15 years 10 months ago
Policy recognition for multi-player tactical scenarios
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
Gita Sukthankar, Katia P. Sycara
102
Voted
TVCG
2010
181views more  TVCG 2010»
15 years 2 months ago
Virtual Rheoscopic Fluids
— We present a visualization technique for simulated fluid dynamics data that visualizes the gradient of the velocity field in an intuitive way. Our work is inspired by rheosco...
Florian Hecht, Peter J. Mucha, Greg Turk
145
Voted
DAC
2004
ACM
15 years 9 months ago
Extending the transaction level modeling approach for fast communication architecture exploration
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdha...
125
Voted
QEST
2008
IEEE
15 years 10 months ago
Hintikka Games for PCTL on Labeled Markov Chains
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
128
Voted
ICCMS
2009
118views more  ICCMS 2009»
15 years 1 months ago
Optimized Parallel Implementation of Gillespie's First Reaction Method on Graphics Processing Units
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...
Cristian Dittamo, Davide Cangelosi