27913 search results - page 456 / 5583 » Simulation |
110
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
138
click to vote
SG
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Multi-modal capabilities can be added to a simulation system in order to enhance data comprehension. We describe a system for adding sonification capabilities to a real-...
167
click to vote
WAPCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
136
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we discuss an approach towards passively observing students in a driving simulator. The goal is to enhance the learning experience for students taking lessons in thi...
146
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper explores the relation between the structured parallelism exposed by the Decomposable BSP (DBSP) model through submachine locality and locality of reference in multi-lev...