Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
Intuitively, any `bag of words' approach in IR should benefit from taking term dependencies into account. Unfortunately, for years the results of exploiting such dependencies ...
Eduard Hoenkamp, Peter Bruza, Dawei Song, Qiang Hu...
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
Existing models of virtual humans in urban settings have largely focused on algorithmic or graphical efficiency. They look realistic but are relatively lacking as experimental too...