4631 search results - page 350 / 927 » Experiences with an Environment Generation System |
187
click to vote
RE
2007
Springer
16 years 27 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
186
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
180
click to vote
NIPS
2008
15 years 8 months ago
2008
We use graphical models and structure learning to explore how people learn policies in sequential decision making tasks. Studies of sequential decision-making in humans frequently...
396
click to vote
GRAPHICSINTERFACE
2011
14 years 10 months ago
2011
Most of existing crowd simulation algorithms focus on the moving trajectories of individual agents, while collective group formations are often roughly learned from video examples...
160
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...