611 search results - page 42 / 123 » Relative simulation and model checking of real-time processe... |
JUCS
2010
13 years 7 months ago
2010
: Algorithms for 3D head pose and facial expression tracking using a single camera (monocular image sequences) is presented in this paper. The proposed method is based on a combina...
IAT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents an agent model of the dynamics of a human’s functional state in relation to task performance and environment. It can be used in agent systems that support hu...
ICECCS
2010
IEEE
13 years 7 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
DFG
2004
Springer
14 years 19 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
ISLPED
1999
ACM
14 years 1 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...