Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,693,484 papers from all fields of science
Search
Sign In
Create Free Account
State Machine
A model of computation consisting of a set of states, a set of input events, a set of output events, and a state transition function.
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Electrochemically driven sequential machines: an implementation of copper rotaxanes.
Ganga Periyasamy
,
J. Collin
,
J. Sauvage
,
R. Levine
,
F. Remacle
Chemistry
2009
Corpus ID: 28765931
We propose to use the redox states and ligand reorganization characteristics of a copper rotaxane mechanical machine to realize a…
Expand
2009
2009
A Safety-Case Approach For Certifying Adaptive Systems
J. Rushby
2009
Corpus ID: 10334504
Adaptive systems—those that can change their behavior at runtime—pose new challenges for certification, and particularly for…
Expand
Highly Cited
2007
Highly Cited
2007
Optimal Modulation of Flying Capacitor and Stacked Multicell Converters Using a State Machine Decoder
B. Mcgrath
,
T. Meynard
,
G. Gateau
,
D. G. Holmes
IEEE transactions on power electronics
2007
Corpus ID: 47547647
Modulation of flying capacitor and stacked multicell converters is complicated by the fact that these converters have redundant…
Expand
Highly Cited
2006
Highly Cited
2006
Predictive Dynamic Spectrum Access
T. Clancy
,
B. Walker
2006
Corpus ID: 10669135
This paper explores the idea of predictive dynamic spectrum access (PDSA). Modern spectrum resource allocation research typically…
Expand
Highly Cited
2006
Highly Cited
2006
Lingos, Finite State Machines, and Fast Similarity Searching
J. Andrew Grant
,
James A. Haigh
,
B. T. Pickup
,
A. Nicholls
,
R. Sayle
Journal of Chemical Information and Modeling
2006
Corpus ID: 22179159
We apply a recently published method of text-based molecular similarity searching (LINGO) to standard data sets for the purpose…
Expand
2004
2004
Automatic Shot Boundary Detection Combining Color, Edge, and Motion Features of Adjacent Frames
A. Jacobs
,
A. Miene
,
G. Ioannidis
,
O. Herzog
TREC Video Retrieval Evaluation
2004
Corpus ID: 61745645
This paper describes the contribution of the Center for Computing Technologies (TZI)
2003
2003
Chaos automata: iterated function systems with memory
D. Ashlock
,
J. Golden
2003
Corpus ID: 15619849
Highly Cited
1992
Highly Cited
1992
Chemical implementation of finite-state machines.
A. Hjelmfelt
,
E. D. Weinberger
,
J. Ross
Proceedings of the National Academy of Sciences…
1992
Corpus ID: 23370431
With methods developed in a prior article on the chemical kinetic implementation of a McCulloch-Pitts neuron, connections among…
Expand
1992
1992
Probabilistic Normalisation and Unpacking of Packed Parse Forests for Unification-based Grammars
John A. Carroll
,
Ted Briscoe
1992
Corpus ID: 1816604
The research described below forms part of a wider programme to develop a practical parser for naturally-occurring natural…
Expand
1988
1988
Quantitative Hook-Up Security for Covert Channel Analysis
D. Weber
1988
Corpus ID: 55123988
Computer Security Foundations Workshop 1988 We construct a class of security policies for multi-level systems. Policies of this…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE