Sciweavers

7064 search results - page 49 / 1413
» From States to Histories
Sort
View
FORTE
2008
13 years 11 months ago
Program Repair Suggestions from Graphical State-Transition Specifications
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
Farn Wang, Chih-Hong Cheng
WIA
2005
Springer
14 years 3 months ago
Shorter Regular Expressions from Finite-State Automata
We consider the use of state elimination to construct shorter regular expressions from finite-state automata. Although state elimination is an intuitive method for computing regul...
Yo-Sub Han, Derick Wood
JCNS
2010
100views more  JCNS 2010»
13 years 4 months ago
Methods for predicting cortical UP and DOWN states from the phase of deep layer local field potentials
During anesthesia, slow-wave sleep and quiet wakefulness, neuronal membrane potentials collectively switch between de- and hyperpolarized levels, the cortical UP and DOWN states. P...
Aman B. Saleem, Paul Chadderton, John Apergis-Scho...
WSC
1998
13 years 11 months ago
Initializing On-line Simulations from the State of a Distributed System
In this paper, we address the complex task of initializing an on-line simulation to a current system state collected from an operating physical system. The paper begins by discuss...
Fernando G. Gonzalez, Wayne J. Davis
IJBRA
2008
97views more  IJBRA 2008»
13 years 10 months ago
Extracting Protein-Protein Interactions from MEDLINE using the Hidden Vector State model
: A major challenge in text mining for biomedicine is automatically extracting protein-protein interactions from the vast amount of biomedical literature. We have constructed an in...
Deyu Zhou, Yulan He, Chee Keong Kwoh