Sciweavers

1916 search results - page 74 / 384
» Reconfiguring a state machine
Sort
View
148
Voted
ASE
2006
123views more  ASE 2006»
15 years 2 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
126
Voted
ICML
2009
IEEE
16 years 3 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
116
Voted
ALT
2005
Springer
15 years 11 months 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
126
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...
129
Voted
COMPLIFE
2006
Springer
15 years 6 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