2136 search results - page 83 / 428 » Learning Behavior Models for Hybrid Timed Systems |
114
Voted
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
126
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
106
Voted
GEOINFO
2004
15 years 2 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
113
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
We use concepts from chaos theory in order to model
nonlinear dynamical systems that exhibit deterministic behavior.
Observed time series from such a system can be embedded
into...
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goal...