|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1164 occurrences of 581 keywords
|
|
|
Results
Found 1756 publication records. Showing 1756 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Yasar Abbas Ur Rehman, Lai-Man Po, Mengyang Liu |
SLNet: Stereo face liveness detection via dynamic disparity-maps and convolutional neural network. |
Expert Syst. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz |
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. |
ACM Trans. Comput. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Julia Gabet, Nobuko Yoshida |
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). |
Dagstuhl Artifacts Ser. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Guanghua Tan, Qiong Zhang, Haiyang Hu, Xianyi Zhu, Xiangqiong Wu |
Fingerprint liveness detection based on guided filtering and hybrid image analysis. |
IET Image Process. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yongliang Zhang, Chenhao Gao, Shengyi Pan, Zhiwei Li, Yuanyang Xu, Haoze Qiu |
A Score-Level Fusion of Fingerprint Matching With Fingerprint Liveness Detection. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yongliang Zhang, Shengyi Pan, Xiaosi Zhan, Zhiwei Li, Minghua Gao, Chenhao Gao |
FLDNet: Light Dense CNN for Fingerprint Liveness Detection. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Rohit Agarwal, Anand Singh Jalal, K. V. Arya |
A multimodal liveness detection using statistical texture features and spatial analysis. |
Multim. Tools Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sanjay Garg, Sapan H. Mankad |
Voice liveness detection under feature fusion and cross-environment scenario. |
Multim. Tools Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yeonjoon Lee, Yue Zhao 0018, Jiutian Zeng, Kwangwuk Lee, Nan Zhang 0018, Faysal Hossain Shezan, Yuan Tian 0001, Kai Chen 0012, XiaoFeng Wang 0001 |
Using Sonar for Liveness Detection to Protect Smart Speakers against Remote Attackers. |
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
Off-the-shelf automated analysis of liveness properties for just paths. |
Acta Informatica |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chen Chen 0009, Arun Raman, Hesuan Hu, Ramavarapu S. Sreenivas |
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Spyros A. Reveliotis, Tomás Masopust |
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems. |
IEEE Trans. Autom. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chengsheng Yuan, Xianyi Chen, Peipeng Yu, Ruohan Meng, Weijin Cheng, Q. M. Jonathan Wu, Xingming Sun |
Semi-supervised stacked autoencoder-based deep hierarchical semantic feature for real-time fingerprint liveness detection. |
J. Real Time Image Process. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Spyros A. Reveliotis |
On the state liveness of some classes of guidepath-based transport systems and its computational complexity. |
Autom. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jianwei Fei, Zhihua Xia, Peipeng Yu, Fengjun Xiao |
Adversarial attacks on fingerprint liveness detection. |
EURASIP J. Image Video Process. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chengsheng Yuan, Zhihua Xia, Xingming Sun, Q. M. Jonathan Wu |
Deep Residual Network With Adaptive Learning Framework for Fingerprint Liveness Detection. |
IEEE Trans. Cogn. Dev. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Zhihua Xia, Chengsheng Yuan, Rui Lv, Xingming Sun, Neal N. Xiong, Yun-Qing Shi 0001 |
A Novel Weber Local Binary Descriptor for Fingerprint Liveness Detection. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yanxiang Feng, Keyi Xing, MengChu Zhou, Huixia Liu |
Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Rohit Agarwal, Anand Singh Jalal, K. V. Arya |
Enhanced Binary Hexagonal Extrema Pattern (EBHXEP) Descriptor for Iris Liveness Detection. |
Wirel. Pers. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Manminder Singh, Ajat Shatru Arora |
Computer Aided Face Liveness Detection with Facial Thermography. |
Wirel. Pers. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Pascal Baumann 0001, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche |
Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Martin Lester 0001, Robin P. Neatherway, C.-H. Luke Ong, Steven J. Ramsay |
Verifying Liveness Properties of ML Programs. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Xiang Xu, Yuanjun Xiong, Wei Xia |
On Improving Temporal Consistency for Online Face Liveness Detection. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Yanhong A. Liu, Scott D. Stoller |
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Aleksandr Parkin, Oleg Grinchuk |
Creating Artificial Modalities to Solve RGB Liveness. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Roberto Casula, Giulia Orrù, Daniele Angioni, Xiaoyi Feng, Gian Luca Marcialis, Fabio Roli |
Are spoofs from latent fingerprints a real threat for the best state-of-art liveness detectors? |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera 0001, Philipp J. Meyer |
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Karena X. Cai, Tung Phan-Minh, Soon-Jo Chung, Richard M. Murray |
Rules of the Road: Towards Safety and Liveness Guarantees for Autonomous Vehicles. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Yong Kiam Tan, André Platzer |
An Axiomatic Approach to Existence and Liveness for Differential Equations. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg |
Diamonds are not forever: Liveness in reactive programming with guarded recursion. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Mrdjan Jankovic, Mario A. Santillo |
Collision Avoidance and Liveness of Multi-agent Systems with CBF-based Controllers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Étienne André, Didier Lime, Olivier H. Roux |
Reachability and liveness in parametric timed automata. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Gabriela Y. Kimura, Diego Rafael Lucio, Alceu S. Britto Jr., David Menotti |
CNN Hyperparameter tuning applied to Iris Liveness Detection. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Priyanka Das 0004, Joseph McGrath, Zhaoyuan Fang, Aidan Boyd, Ganghee Jang, Amir Mohammadi, Sandip Purnapatra, David Yambay, Sébastien Marcel, Mateusz Trokielewicz, Piotr Maciejewicz, Kevin W. Bowyer, Adam Czajka, Stephanie Schuckers, Juan E. Tapia, Sebastian Gonzalez, Meiling Fang, Naser Damer, Fadi Boutros, Arjan Kuijper, Renu Sharma, Cunjian Chen, Arun Ross |
Iris Liveness Detection Competition (LivDet-Iris) - The 2020 Edition. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Daniel Clavel, Cristian Mahulea, Manuel Silva 0001 |
On Liveness Enforcement of Distributed Petri Net Systems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Filipp Demenschonok, Jason Harrigan, Tamara Bonaci |
An Overview of Fingerprint-Based Authentication: Liveness Detection and Beyond. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Julia Gabet, Nobuko Yoshida |
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
14 | Abdulrahman A. Alshdadi, Rubab Mehboob, Hassan Dawood, Madini O. Alassafi, Rayed AlGhamdi, Hussain Dawood |
Exploiting Level 1 and Level 3 features of fingerprints for liveness detection. |
Biomed. Signal Process. Control. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ranjana Koshy, Ausif Mahmood |
Enhanced Deep Learning Architectures for Face Liveness Detection for Static and Video Sequences. |
Entropy |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Peter Matthew, Susan Canning |
An algorithmic approach for optimising biometric systems using liveness and coercion detection. |
Comput. Secur. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Bashir |
Optimal enforcement of liveness for decentralized systems of flexible manufacturing systems using Petri nets. |
Trans. Inst. Meas. Control |
2020 |
DBLP DOI BibTeX RDF |
|
14 | K. Mohan, P. Chandrasekhar, K. V. Ramanaiah |
Object-specific face authentication system for liveness detection using combined feature descriptors with fuzzy-based SVM classifier. |
Int. J. Comput. Aided Eng. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha |
Model checking safety and liveness via k-induction and witness refinement with constraint generation. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Xindou Li, Chenqiang Gao, Fengshun Zhou, Hui Han, Lin Tang |
基于图像扩散速度模型和纹理信息的人脸活体检测 (Face Liveness Detection Based on Image Diffusion Speed Model and Texture Information). |
计算机科学 |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jaco van de Pol, Laure Petrucci |
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract). |
WADT |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Priyanka Das 0004, Joseph McGrath, Zhaoyuan Fang, Aidan Boyd, Ganghee Jang, Amir Mohammadi, Sandip Purnapatra, David Yambay, Sébastien Marcel, Mateusz Trokielewicz, Piotr Maciejewicz, Kevin W. Bowyer, Adam Czajka, Stephanie Schuckers, Juan E. Tapia, Sebastian Gonzalez, Meiling Fang, Naser Damer, Fadi Boutros, Arjan Kuijper, Renu Sharma, Cunjian Chen, Arun Ross |
Iris Liveness Detection Competition (LivDet-Iris) - The 2020 Edition. |
IJCB |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kucera 0001, Philipp J. Meyer |
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. |
CAV (2) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jing Li, Dongning Guo |
Liveness and Consistency of Bitcoin and Prism Blockchains: The Non-lockstep Synchronous Case. |
IEEE ICBC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Kosuke Akimoto, Seng Pei Liew, Sakiko Mishima, Ryo Mizushima, Kong Aik Lee |
POCO: A Voice Spoofing and Liveness Detection Corpus Based on Pop Noise. |
INTERSPEECH |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yu Yoshitani, Nobuyuki Nishiuchi |
A Study on Biometric Authentication and Liveness Detection Using Finger Elastic Deformation. |
HCI (40) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ranjana Koshy, Ausif Mahmood |
Enhanced Anisotropic Diffusion-based CNN-LSTM Architecture for Video Face Liveness Detection. |
ICMLA |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Sudeep Thepade, Prasad Jagdale, Amit Bhingurde, Shwetali Erandole |
Novel Face Liveness Detection Using Fusion of Features and Machine Learning Classifiers. |
ICIoT |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Aman Bansal, Saksham Goel, Preey Shah, Amitabha Sanyal, Prasanna Kumar |
Garbage collection using a finite liveness domain. |
ISMM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yojiro Harie, Katsumi Wasaki |
Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. |
SAI (3) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Michael Bar-Sinai, Gera Weiss |
Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs. |
ISoLA (4) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bart Jacobs 0002 |
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs. |
ISoLA (1) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Habiba Farrukh, Reham Mohamed Aburas, Siyuan Cao, He Wang 0008 |
FaceRevelio: a face liveness detection system for smartphones with a single front camera. |
MobiCom |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Herzog, Andreas Uhl |
Analysing a Vein Liveness Detection Scheme. |
IWBF |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Casula, Giulia Orrù, Daniele Angioni, Xiaoyi Feng, Gian Luca Marcialis, Fabio Roli |
Are spoofs from latent fingerprints a real threat for the best state-of-art liveness detectors? |
ICPR |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yunbin Deng |
Remote Liveness and Heart Rate Detection from Video. |
ICPR Workshops (8) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Ejaz Ahmed, Il-Youp Kwak, Jun Ho Huh, Iljoo Kim, Taekkyung Oh, Hyoungshick Kim |
Void: A fast and light voice liveness detection system. |
USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
14 | Cong Wu 0003, Kun He 0008, Jing Chen 0003, Ziming Zhao 0001, Ruiying Du |
Liveness is Not Enough: Enhancing Fingerprint Authentication with Behavioral Biometrics to Defeat Puppet Attacks. |
USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
14 | Jiacheng Shang, Jie Wu 0001 |
Voice Liveness Detection for Voice Assistants using Ear Canal Pressure. |
MASS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Yanhong A. Liu, Scott D. Stoller |
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. |
RV |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Julia Gabet, Nobuko Yoshida |
Static Race Detection and Mutex Safety and Liveness for Go Programs. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Jian Li, Yongmei Liu 0001 |
Automatic Verification of Liveness Properties in the Situation Calculus. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella |
Liveness Verification of Stateful Network Functions. |
NSDI |
2020 |
DBLP BibTeX RDF |
|
14 | Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie |
A Fast Verified Liveness Analysis in SSA Form. |
IJCAR (2) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Emanuel Moreira, Filipe F. Correia, João Bispo |
Overviewing the liveness of refactoring for energy efficiency. |
Programming |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi |
Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. |
EDCC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Huan Fan 0001 |
The Spectator Fulfilling the Concept of Liveness. |
EVA |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hongbo Liu 0002, Zhihua Li, Yucheng Xie, Ruizhe Jiang, Yan Wang 0003, Xiaonan Guo, Yingying Chen 0001 |
LiveScreen: Video Chat Liveness Detection Leveraging Skin Reflection. |
INFOCOM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Spiegelman, Arik Rinberg, Dahlia Malkhi |
ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine Replication. |
OPODIS |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bat-Erdene Batsukh |
Liveness Detection via Facial Expressions Queue. |
IntelliSys (2) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Gabit Tolendiyev, Mohammed Abdulhakim Al-Absi, Hyotaek Lim, Byung-Gook Lee |
Adaptive Margin Based Liveness Detection for Face Recognition. |
IHCI (2) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz |
Effective System Level Liveness Verification. |
FMCAD |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Johannes Schuiki, Andreas Uhl |
Improved Liveness Detection in Dorsal Hand Vein Videos using Photoplethysmography. |
BIOSIG |
2020 |
DBLP BibTeX RDF |
|
14 | Ayaka Sugimoto, Yuya Shiomi, Akira Baba, Norihiro Okui, Tetsushi Ohki, Yutaka Miyake, Masakatsu Nishigaki |
A Liveness Detection Method for Palmprint Authentication. |
IHSI |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Gabriela Y. Kimura, Diego Rafael Lucio, Alceu S. Britto Jr., David Menotti |
CNN Hyperparameter Tuning Applied to Iris Liveness Detection. |
VISIGRAPP (5: VISAPP) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Linghan Zhang, Sheng Tan, Zi Wang 0003, Yili Ren, Zhi Wang 0004, Jie Yang 0003 |
VibLive: A Continuous Liveness Detection for Secure Voice User Interface in IoT Environment. |
ACSAC |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Fu-Mei Chen, Chang Wen, Kai Xie, Fangqing Wen, Guan-Qun Sheng, Xin-Gong Tang |
Face liveness detection: fusing colour texture feature and deep feature. |
IET Biom. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Mengyang Liu, Hong Fu, Ying Wei, Yasar Abbas Ur Rehman, Lai Man Po, Wai Lun Lo |
Light field-based face liveness detection with convolutional neural networks. |
J. Electronic Imaging |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Yasar Abbas Ur Rehman, Lai-Man Po, Mengyang Liu, Zijie Zou, Weifeng Ou, Yuzhi Zhao |
Face liveness detection using convolutional-features fusion of real and deep network generated face images. |
J. Vis. Commun. Image Represent. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Changyong Yu, Chengtang Yao, Mingtao Pei, Yunde Jia |
Diffusion-based kernel matrix model for face liveness detection. |
Image Vis. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Hefeng Chen, Naiqi Wu, Zhiwu Li 0001, Ting Qu, Hailian Xiao |
Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ho Yub Jung, Yong Seok Heo, Soochahn Lee |
Fingerprint Liveness Detection by a Template-Probe Convolutional Neural Network. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Zhenxin Gao, Yanxiang Feng, Feng Tian 0002, Keyi Xing |
Enforcing the Liveness of S4PR by Using the Approach of Allocating Resources. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Yongliang Zhang, Daqiong Shi, Xiaosi Zhan, Di Cao, Keyi Zhu, Zhiwei Li |
Slim-ResCNN: A Deep Residual Convolutional Neural Network for Fingerprint Liveness Detection. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Woojung Kim, Woojin Hong, Taekmoo Kim, Dongwoon Kim, Myunghee Lee |
RF Sensor-Based Liveness Detection Scheme With Loop Stability Compensation Circuit for a Capacitive Fingerprint System. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Chengsheng Yuan, Zhihua Xia, Leqi Jiang, Yi Cao, Q. M. Jonathan Wu, Xingming Sun |
Fingerprint Liveness Detection Using an Improved CNN With Image Scale Equalization. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Asera Wayne Asera, Masayoshi Aritsugi |
Weber Centralized Binary Fusion Descriptor for Fingerprint Liveness Detection. |
IEICE Trans. Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Yao Wang 0005, Wandong Cai, Tao Gu, Wei Shao 0006, Yannan Li, Yong Yu 0002 |
Secure Your Voice: An Oral Airflow-Based Continuous Liveness Detection for Voice Assistants. |
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Jongwoo Seo 0001, In-Jeong Chung |
Face Liveness Detection Using Thermal Face-CNN with External Knowledge. |
Symmetry |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Petr Jancar, David Purser |
Structural liveness of Petri nets is ExpSpace-hard and decidable. |
Acta Informatica |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Patrick Rein, Stefan Ramson, Jens Lincke, Robert Hirschfeld, Tobias Pape |
Exploratory and Live, Programming and Coding - A Literature Study Comparing Perspectives on Liveness. |
Art Sci. Eng. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Sang Won Lee 0002 |
Liveness in Interactive Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Rob van Glabbeek |
Ensuring Liveness Properties of Distributed Systems: Open Problems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Yong Kiam Tan, André Platzer |
An Axiomatic Approach to Liveness for Differential Equations. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Rob van Glabbeek |
Justness: A Completeness Criterion for Capturing Liveness Properties. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Peter Chini, Roland Meyer 0001, Prakash Saivasan |
Complexity of Liveness in Parameterized Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 1756 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|