Sciweavers

936 search results - page 119 / 188
» FSM-Hume is finite state
Sort
View
JMLR
2002
102views more  JMLR 2002»
15 years 6 months ago
Optimal Structure Identification With Greedy Search
In this paper we prove the so-called "Meek Conjecture". In particular, we show that if a DAG H is an independence map of another DAG G, then there exists a finite sequen...
David Maxwell Chickering
JUCS
2002
101views more  JUCS 2002»
15 years 6 months ago
Descriptional Complexity of Machines with Limited Resources
: Over the last 30 years or so many results have appeared on the descriptional complexity of machines with limited resources. Since these results have appeared in a variety of diff...
Jonathan Goldstine, Martin Kappes, Chandra M. R. K...
ICCAD
1997
IEEE
126views Hardware» more  ICCAD 1997»
15 years 10 months ago
An output encoding problem and a solution technique
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
Subhasish Mitra, LaNae J. Avra, Edward J. McCluske...
ICCAD
1994
IEEE
134views Hardware» more  ICCAD 1994»
15 years 10 months ago
Boolean constrained encoding: a new formulation and a case study
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
Ney Laert Vilar Calazans
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 10 months ago
Stabilize an n-dimensional quantized nonlinear feedforward system with 1 bit
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...
Qiang Ling, Michael D. Lemmon, Hai Lin