15614 search results - page 64 / 3123 » The State of State |
87
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
119
click to vote
AB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
108
Voted
ICCAD
2007
IEEE
15 years 9 months ago
2007
IEEE
Among the post-CMOS technologies currently under investigation, quantum computing (QC) holds a special place. QC offers not only extremely small size and low power, but also expon...
110
Voted
AUTOMATICA
2004
15 years 18 days ago
2004
Ellipsoidal outer-bounding of the set of all feasible state vectors under model uncertainty is a natural extension of state estimation for deterministic models with unknown-but-bo...
107
click to vote
AVSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes a novel approach of combining an unsupervised clustering scheme called AutoClass with Hidden Markov Models (HMMs) to determine the traffic density state in a R...