27913 search results - page 456 / 5583 » Simulation |
173
click to vote
HYBRID
2007
Springer
16 years 1 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...
209
click to vote
SG
2007
Springer
16 years 1 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-...
219
click to vote
WAPCV
2007
Springer
16 years 1 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...
206
click to vote
ICALT
2006
IEEE
16 years 1 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...
202
click to vote
IPPS
2006
IEEE
16 years 1 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...