7311 search results - page 209 / 1463 » Time in State Machines |
219
click to vote
FMCAD
2004
Springer
16 years 15 days 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...
184
Voted
SBACPAD
2003
IEEE
16 years 11 days ago
2003
IEEE
— One of the main challenges to the wide use of the Internet is the scalability of the servers, that is, their ability to handle the increasing demand. Scalability in stateful se...
213
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
199
click to vote
NIPS
2008
15 years 8 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...
216
Voted
PAMI
2008
15 years 7 months ago
2008
This paper proposes a method for detecting object classes that exhibit variable shape structure in heavily cluttered images. The term "variable shape structure" is used t...