Results 11 to 20 of about 30,066 (292)
, 2014 This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a ...
Baier C. +9 more
core +5 more sources
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
Heap Reference Analysis Using Access Graphs [PDF]
, 2007 Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data.
Amey Karkare +8 more
core +3 more sources
Goal-conflict detection based on temporal satisfiability checking [PDF]
, 2016 Goal-oriented requirements engineering approaches propose capturing how a system should behave through the speci ca- tion of high-level goals, from which requirements can then be systematically derived. Goals may however admit subtle situations that make
Anton Ana I. +7 more
core +1 more source
Liveness Through Audience Participation in Digital Theatre: Map to Utopia As a Playground in Digital
Tiyatro Eleştirmenliği ve Dramaturji Bölümü Dergisi, 2023 This article explores the concept of liveness in digital theatre practice by analyzing the case of Map to Utopia, a digital theatre production that utilizes technological devices such as computers and mobile phones to facilitate audience participation ...
Maral Çankaya
doaj +1 more source
Fingerprint Liveness Detection by a Template-Probe Convolutional Neural Network
IEEE Access, 2019 Fingerprints are known to be easily synthesized to trick identification systems. In this paper, we propose a new method that incorporates template fingerprints stored for identification in the liveness detection system.
Ho Yub Jung, Yong Seok Heo, Soochahn Lee
doaj +1 more source
Liveness-Driven Random Program Generation [PDF]
, 2017 Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing.
B Steffen +12 more
core +3 more sources
Artificial Life, 2013 This article presents an overview of current and potential applications of living technology to some urban problems. Living technology can be described as technology that exhibits the core features of living systems. These features can be useful to solve dynamic problems. In particular, urban problems concerning mobility, logistics, telecommunications,
openaire +3 more sources
Cute or creepy, that is the question of liveness: can artificial actors perform live?
Artnodes, 2023 This paper examines the liveness of the performative acts of technologically simulated or synthesized agents in interaction with humans. It questions the ability of artificial performers to construct a sense of live presence on stage and in other daily ...
Sahar Sajadieh
doaj +1 more source