9284 search results - page 91 / 1857 » Knowledge State Algorithms |
170
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
129
Voted
STTT
2008
15 years 2 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
198
Voted
WIA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. State elimination is an intuitive and easy-to-implement algorithm that computes a regular expression from a finite-state automaton (FA). The size of a regular expression...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
The presented work addresses the observation problem for a large class of nonlinear systems, including systems which are nonlinear in the unmeasured states. Assuming partial state ...
110
click to vote
WSPI
2004
15 years 3 months ago
2004
Abstract. I introduce the notion of knowledge relativity as a proposed conceptual link between different scientific disciplines. Examples from Informatics and Philosophy, particula...