Sciweavers

1916 search results - page 74 / 384
» Reconfiguring a state machine
Sort
View
154
Voted
ASE
2006
123views more  ASE 2006»
15 years 3 months ago
Separating sequence overlap for automated test sequence generation
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
Robert M. Hierons
136
Voted
ICML
2009
IEEE
16 years 4 months ago
Large margin training for hidden Markov models with partially observed states
Large margin learning of Continuous Density HMMs with a partially labeled dataset has been extensively studied in the speech and handwriting recognition fields. Yet due to the non...
Thierry Artières, Trinh Minh Tri Do
129
Voted
ALT
2005
Springer
16 years 18 days ago
PAC-Learnability of Probabilistic Deterministic Finite State Automata in Terms of Variation Distance
We consider the problem of PAC-learning distributions over strings, represented by probabilistic deterministic finite automata (PDFAs). PDFAs are a probabilistic model for the gen...
Nick Palmer, Paul W. Goldberg
134
Voted
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 7 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
140
Voted
COMPLIFE
2006
Springer
15 years 7 months ago
A New Approach to Flux Coupling Analysis of Metabolic Networks
Flux coupling analysis is a method to identify blocked and coupled reactions in a metabolic network at steady state. We present a new approach to flux coupling analysis, which uses...
Abdelhalim Larhlimi, Alexander Bockmayr