40 search results - page 3 / 8 » A Hybrid Model and Computing Platform for Spatio-semantic Tr... |
ISCAS
2003
IEEE
13 years 10 months ago
2003
IEEE
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
CAV
2010
Springer
13 years 3 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
RTSS
2003
IEEE
13 years 10 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
CVPR
2009
IEEE
13 years 9 months ago
2009
IEEE
We propose a learning-based hierarchical approach of multi-target tracking from a single camera by progressively associating detection responses into longer and longer track fragm...
ERSHOV
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...