36 search results - page 4 / 8 » A modular approach to defining and characterising notions of... |
WSC
2001
13 years 10 months ago
2001
The increased tasking and reduced manning of a multi mission aircraft put pressures on the mission-crew in terms of their workload, mixture of skill and the training required. Thi...
ENTCS
2010
13 years 6 months ago
2010
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
SG
2005
Springer
14 years 2 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
FORMATS
2006
Springer
14 years 24 days ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...