Results 11 to 20 of about 7,104 (310)
Intelligent Systems with Applications, 2022 Advancement in deep learning is mapping to every field of life and applying it to almost all research problems. Numerous Deep Convolutional Neural Network (DCNN) architectures are being proposed, giving different results based on the depth and value of ...
Sudeep D. Thepade +3 more
doaj +1 more source
IET Control Theory & Applications, 2023 This paper concentrates on robust deadlock control problems for an automated manufacturing system with uncontrollable, unobservable events and resource failures, which is modeled by a subclass of Petri nets.
Xiaoyang Li +3 more
doaj +1 more source
Quantitative Safety and Liveness [PDF]
, 2023 Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix ...
Henzinger, Thomas A. +5 more
core +2 more sources
Directional Sensitivity of Gaze-Collinearity Features in Liveness Detection [PDF]
, 2013 To increase the trust in using face recognition systems, these need to be capable of differentiating between face images captured from a real person and those captured from photos or similar artifacts presented at the sensor.
Ali, Asad +5 more
core +1 more source
, 2002 In this paper, we show how the problem of verifying liveness properties is related to termination of term rewrite systems (TRSs). We formalize liveness in the framework of rewriting and present a sound and complete transformation to transform ...
Hans Zantema +7 more
core +3 more sources
Slim-ResCNN: A Deep Residual Convolutional Neural Network for Fingerprint Liveness Detection
IEEE Access, 2019 Fingerprint liveness detection has gradually been regarded as a primary countermeasure for protecting the fingerprint recognition systems from spoof presentation attacks.
Yongliang Zhang +5 more
doaj +1 more source
Liveness Detection Using Gaze Collinearity [PDF]
, 2012 This paper presents a liveness detection method based on tracking the gaze of the user of a face recognition system using a single camera. The user is required to follow a visual animation of a moving object on a display screen while his/her gaze is ...
Ali, Asad +5 more
core +1 more source
Safety and Liveness of Quantitative Properties and Automata [PDF]
Logical Methods in Computer ScienceSafety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an
Udi Boker +3 more
doaj +1 more source
Enhanced Deep Learning Architectures for Face Liveness Detection for Static and Video Sequences
Entropy, 2020 Face liveness detection is a critical preprocessing step in face recognition for avoiding face spoofing attacks, where an impostor can impersonate a valid user for authentication.
Ranjana Koshy, Ausif Mahmood
doaj +1 more source
Verification of Liveness Properties in Distributed Systems [PDF]
, 2009 This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement.
Yadav, Divakar +3 more
core +1 more source