Incrementally verifying automata for fingerprint sensors.
Pei-Yung HsiaoGao ShangPublished in: ICSAI (2017)
Keyphrases
- cellular automata
- sensor networks
- finite automata
- sensor data
- data fusion
- multi sensor
- model checking
- regular expressions
- sensor technology
- fingerprint identification
- fingerprint images
- finite state machines
- finite state
- real time
- sensor fusion
- singular points
- fingerprint verification
- smart card
- probabilistic automata