15614 search results - page 43 / 3123 » The State of State |
FMCAD
2004
Springer
14 years 2 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
GECCO
2006
Springer
14 years 12 days ago
2006
Springer
A Genetic Algorithm, embedded in a simulation-based method, is applied to the identification of Asynchronous Finite State Machines. Two different coding schemes and their associat...
TOPNOC
2008
13 years 8 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
CN
2007
13 years 8 months ago
2007
Soft-state is a well established approach to designing robust network protocols and applications. However it is unclear how to apply soft-state approach to protocols that must mai...
HCI
2007
13 years 10 months ago
2007
Two new computational models show that the EEG distinguishes three distinct mental states ranging from alert to fatigue. State 1 indicates heightened alertness and is frequently pr...