Sciweavers

5009 search results - page 160 / 1002
» Value chain modelling using system dynamics
Sort
View
179
Voted
CASES
2007
ACM
15 years 7 months ago
Compiler generation from structural architecture descriptions
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Florian Brandner, Dietmar Ebner, Andreas Krall
ICML
2004
IEEE
16 years 4 months ago
Learning and discovery of predictive state representations in dynamical systems with reset
Predictive state representations (PSRs) are a recently proposed way of modeling controlled dynamical systems. PSR-based models use predictions of observable outcomes of tests that...
Michael R. James, Satinder P. Singh
132
Voted
IFIP
2004
Springer
15 years 9 months ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
121
Voted
ICRA
2005
IEEE
145views Robotics» more  ICRA 2005»
15 years 9 months ago
Modeling the Static and the Dynamic Parts of the Environment to Improve Sensor-based Navigation
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...
Luis Montesano, Javier Minguez, Luis Montano
148
Voted
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 1 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler