On the Use of Programmed Automata for a Verification of ECG Diagnoses.
Mariusz FlasinskiPiotr FlasinskiEwa KondurackaPublished in: CORES (2013)
Keyphrases
- model checking
- cellular automata
- ecg signals
- finite state
- finite automata
- decision support
- monitoring system
- finite state machines
- model based diagnosis
- probabilistic automata
- verification method
- regular expressions
- artificial intelligence
- heart rate
- databases
- false acceptance
- lattice gas
- functional verification
- person identification
- face recognition
- information systems
- computer vision
- genetic algorithm
- neural network