1380 search results - page 229 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
AIIDE
2009
13 years 10 months ago
2009
Players perceive information about game environments through a virtual camera. While a significant discussion in the industry and in academic research circles has centered around ...
BIS
2009
13 years 10 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
KR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
VTS
2008
IEEE
14 years 3 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
The effectiveness of simulation-based training for individual tasks – such as piloting skills – is well established, but its use for team training raises challenging technical...