7064 search results - page 52 / 1413 » From States to Histories |
SEC
2003
13 years 11 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
ICCD
1995
IEEE
14 years 1 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
A framework for generating facial expressions from emotional states in daily conversation is described. The framework allows avatars to express the speaker’s state not just prot...
NIPS
2008
13 years 11 months ago
2008
Neural activity is non-stationary and varies across time. Hidden Markov Models (HMMs) have been used to track the state transition among quasi-stationary discrete neural states. W...