Sciweavers

15614 search results - page 20 / 3123
» The State of State
Sort
View
MODELS
2007
Springer
14 years 1 months ago
Enhancing UML State Machines with Aspects
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
Gefei Zhang, Matthias M. Hölzl, Alexander Kna...
ICPR
2008
IEEE
14 years 1 months ago
Recognition of multiple drivers' emotional state
The paper attempted the recognition of multiple drivers’ emotional state from physiological signals. The major challenge of the research is due to the severe inter-driver variat...
Jinjun Wang, Yihong Gong
CSDA
2007
116views more  CSDA 2007»
13 years 7 months ago
Exploring the state sequence space for hidden Markov and semi-Markov chains
The knowledge of the state sequences that explain a given observed sequence for a known hidden Markovian model is the basis of various methods that may be divided into three categ...
Yann Guédon
FASE
2007
Springer
14 years 1 months ago
Activity-Driven Synthesis of State Machines
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
Rolf Hennicker, Alexander Knapp
ASPDAC
2004
ACM
72views Hardware» more  ASPDAC 2004»
14 years 28 days ago
Exploiting state encoding for invariant generation in induction-based property checking
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
Markus Wedler, Dominik Stoffel, Wolfgang Kunz