3134 search results - page 90 / 627 » simulation 2010 |
175
click to vote
JSC
2010
14 years 10 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
130
click to vote
SIMPRA
2010
15 years 1 months ago
2010
Integrated performance simulation of buildings and heating, ventilation and airconditioning (HVAC) systems can help reducing energy consumption and increasing occupant comfort. Ho...
136
click to vote
P2P
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this demo we present a performance evaluation testbed for peer-to-peer gaming overlays. It consists of a 3D first person shooter game that is designed to run in a simulated ...
100
click to vote
TVCG
2010
15 years 1 months ago
2010
— 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...
91
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
dtable: An Abstract Model of Conversation Dynamics Journal of Artificial Societies and Social Simulation 13 (4) 2 <http://jasss.soc.surrey.ac.uk/13/4/2.html> Received: 09-Dec...