Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Spyros A. Reveliotis	Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.	CASE	2018	DBLP DOI BibTeX RDF
14	Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu	Liveness Enforcement for a Class of Petri Nets via Resource Allocation.	SMC	2018	DBLP DOI BibTeX RDF
14	Jiacheng Shang, Si Chen, Jie Wu 0001	SRVoice: A Robust Sparse Representation-Based Liveness Detection System.	ICPADS	2018	DBLP DOI BibTeX RDF
14	Shihono Mochizuki, Sayaka Shiota, Hitoshi Kiya	Voice liveness detection using phoneme-based pop-noise detector for speaker verification.	Odyssey	2018	DBLP DOI BibTeX RDF
14	Septimiu Crisan, Bogdan Tebrean, Titus Eduard Crisan	Multimodal Liveness Detection System for Hand Vein Biometrics.	MeMeA	2018	DBLP DOI BibTeX RDF
14	Lingxue Song, Changsong Liu	Face Liveness Detection Based on Joint Analysis of RGB and Near-Infrared Image of Faces.	IMAWM	2018	DBLP DOI BibTeX RDF
14	Arya Krishnan, Tony Thomas, Gayathri R. Nayar, Sarath Sasilekha Mohan	Liveness Detection in Finger Vein Imaging Device Using Plethysmographic Signals.	IHCI	2018	DBLP DOI BibTeX RDF
14	Özge Aydogdu, Zhaleh Sadreddini, Murat Ekinci	A Study on Liveness Analysis for Palmprint Recognition System.	TSP	2018	DBLP DOI BibTeX RDF
14	Julien Brunel, David Chemouil, Jeanne Tawa	Analyzing the Fundamental Liveness Property of the Chord Protocol.	FMCAD	2018	DBLP DOI BibTeX RDF
14	David Yambay, Stephanie Schuckers, Samantha Denning, Constantin Sandmann, Andrey Bachurinski, Josh Hogan	LivDet 2017 - Fingerprint Systems Liveness Detection Competition.	BTAS	2018	DBLP DOI BibTeX RDF
14	Chun-Hsiao Yeh, Herng-Hua Chang	Face Liveness Detection Based on Perceptual Image Quality Assessment Features with Multi-scale Analysis.	WACV	2018	DBLP DOI BibTeX RDF
14	Ranganathan Hariharan, Tara Ghasempouri, Behrad Niazmand, Jaan Raik	From RTL Liveness Assertions to Cost-Effective Hardware Checkers.	DCIS	2018	DBLP DOI BibTeX RDF
14	Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün	Counterexample Simplification for Liveness Property Violation.	SEFM	2018	DBLP DOI BibTeX RDF
14	Galina Lavrentyeva, Oleg Kudashev, Aleksandr Melnikov, Maria De Marsico, Yuri Matveev	Interactive Photo Liveness for Presentation Attacks Detection.	ICIAR	2018	DBLP DOI BibTeX RDF
14	Luma Qassam Abedalqader Omar	Face liveness detection under processed image attacks.		2018	RDF
14	Amirhosein Toosi	Feature Fusion for Fingerprint Liveness Detection.		2018	RDF
14	Luca Ghiani, Abdenour Hadid, Gian Luca Marcialis, Fabio Roli	Fingerprint liveness detection using local texture features.	IET Biom.	2017	DBLP DOI BibTeX RDF
14	Mahmudur Rahman, Mozhgan Azimpourkivi, Umut Topkara, Bogdan Carbunar	Video Liveness for Citizen Journalism: Attacks and Defenses.	IEEE Trans. Mob. Comput.	2017	DBLP DOI BibTeX RDF
14	Luca Ghiani, David A. Yambay, Valerio Mura, Gian Luca Marcialis, Fabio Roli, Stephanie Schuckers	Review of the Fingerprint Liveness Detection (LivDet) competition series: 2009 to 2015.	Image Vis. Comput.	2017	DBLP DOI BibTeX RDF
14	Aziz Alotaibi, Ausif Mahmood	Deep face liveness detection based on nonlinear diffusion using convolution neural network.	Signal Image Video Process.	2017	DBLP DOI BibTeX RDF
14	Zhihua Xia, Rui Lv, Yafeng Zhu, Peng Ji, Huiyu Sun, Yun-Qing Shi 0001	Erratum to: Fingerprint liveness detection using gradient-based texture features.	Signal Image Video Process.	2017	DBLP DOI BibTeX RDF
14	Zhihua Xia, Rui Lv, Yafeng Zhu, Peng Ji, Huiyu Sun, Yun-Qing Shi 0001	Fingerprint liveness detection using gradient-based texture features.	Signal Image Video Process.	2017	DBLP DOI BibTeX RDF
14	Dominique Méry, Michael Poppleton	Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
14	Miao Liu, ShouGuang Wang, MengChu Zhou, Ding Liu, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, ZhiWu Li 0001	Deadlock and liveness characterization for a class of generalized Petri nets.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
14	Chengzong Li, Yufeng Chen 0001, Zhiwu Li 0001, Kamel Barkaoui	Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems.	IEEE Access	2017	DBLP DOI BibTeX RDF
14	Chao Wang, Anrong Wang, Yufeng Chen 0001, Abdulrahman Al-Ahmari, Zhiwu Li 0001	On Computation Reduction of Liveness-Enforcing Supervisors.	IEEE Access	2017	DBLP DOI BibTeX RDF
14	Muhammad Bashir, Zhiwu Li 0001, Murat Uzam, Abdulrahman Al-Ahmari, Naiqi Wu, Ding Liu, Ting Qu	A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems.	IEEE Access	2017	DBLP DOI BibTeX RDF
14	Amirhosein Toosi, Andrea Bottino, Sandro Cumani, Pablo Negri, Pietro Luca Sottile	Feature Fusion for Fingerprint Liveness Detection: a Comparative Study.	IEEE Access	2017	DBLP DOI BibTeX RDF
14	Hajer Mohamed H. Ben Amer, Leelavathi Rajamanickam, Anas A. Abboud	Liveness Detection from Real user, Printed Pictures and Pictures on Mobile Devices from Low Resolution Webcam.	J. Comput. Sci.	2017	DBLP DOI BibTeX RDF
14	Shun-Yi Wang, Shih-Hung Yang, Yon-Ping Chen, Jyun-We Huang	Face Liveness Detection Based on Skin Blood Flow Analysis.	Symmetry	2017	DBLP DOI BibTeX RDF
14	Wonjun Kim 0001	Fingerprint Liveness Detection Using Local Coherence Patterns.	IEEE Signal Process. Lett.	2017	DBLP DOI BibTeX RDF
14	Ru Yang, Zhijun Ding, Meiqin Pan, Changjun Jiang, MengChu Zhou	Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.	IEEE Trans. Syst. Man Cybern. Syst.	2017	DBLP DOI BibTeX RDF
14	Guanjun Liu, Changjun Jiang	Observable liveness of Petri nets with controllable and observable transitions.	Sci. China Inf. Sci.	2017	DBLP DOI BibTeX RDF
14	Mahmudur Rahman, Mozhgan Azimpourkivi, Umut Topkara, Bogdan Carbunar	Video Liveness for Citizen Journalism: Attacks and Defenses.	CoRR	2017	DBLP BibTeX RDF
14	Roland Meyer 0001, Sebastian Muskalla, Elisabeth Neumann	Liveness Verification and Synthesis: New Algorithms for Recursive Programs.	CoRR	2017	DBLP BibTeX RDF
14	Natsuki Urabe, Masaki Hara, Ichiro Hasuo	Categorical Liveness Checking by Corecursive Algebras.	CoRR	2017	DBLP BibTeX RDF
14	Gergö Barany	Liveness-Driven Random Program Generation.	CoRR	2017	DBLP BibTeX RDF
14	Changyong Yu, Yunde Jia	Anisotropic Diffusion-based Kernel Matrix Model for Face Liveness Detection.	CoRR	2017	DBLP BibTeX RDF
14	Rob J. van Glabbeek	Ensuring Liveness Properties of Distributed Systems (A Research Agenda).	CoRR	2017	DBLP BibTeX RDF
14	Sumanth Dathathri, Richard M. Murray	Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis.	CoRR	2017	DBLP BibTeX RDF
14	Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer	Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter.	CoRR	2017	DBLP BibTeX RDF
14	Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill	IronFleet: proving safety and liveness of practical distributed systems.	Commun. ACM	2017	DBLP DOI BibTeX RDF
14	Fred B. Schneider	Technical Perspective: IronFleet simplifies proving safety and liveness properties.	Commun. ACM	2017	DBLP DOI BibTeX RDF
14	Susanna Spinsante, Laura Montanini, Veronica Bartolucci, Manola Ricciuti, Danny Pigini, Ennio Gambi	Access Control in Smart Homes by Android-Based Liveness Detection.	EAI Endorsed Trans. Ambient Syst.	2017	DBLP DOI BibTeX RDF
14	Kenneth Okereafor, Clement Onime, Oliver Osuagwu	Enhancing Biometric Liveness Detection Using Trait Randomization Technique.	UKSim	2017	DBLP DOI BibTeX RDF
14	Federico Pala, Bir Bhanu	On the accuracy and robustness of deep triplet embedding for fingerprint liveness detection.	ICIP	2017	DBLP DOI BibTeX RDF
14	Caue Zaghetto, Mateus Mendelson, Alexandre Zaghetto, Flavio de Barros Vidal	Liveness detection on touchless fingerprint devices using texture descriptors and artificial neural networks.	IJCB	2017	DBLP DOI BibTeX RDF
14	David Yambay, Benedict Becker, Naman Kohli, Daksha Yadav, Adam Czajka, Kevin W. Bowyer, Stephanie Schuckers, Richa Singh 0001, Mayank Vatsa, Afzel Noore, Diego Gragnaniello, Carlo Sansone, Luisa Verdoliva, Lingxiao He, Yiwei Ru, Haiqing Li, Nianfeng Liu, Zhenan Sun, Tieniu Tan	LivDet iris 2017 - Iris liveness detection competition 2017.	IJCB	2017	DBLP DOI BibTeX RDF
14	Linghan Zhang, Sheng Tan, Jie Yang 0003	Hearing Your Voice is Not Enough: An Articulatory Gesture Based Liveness Detection for Voice Authentication.	CCS	2017	DBLP DOI BibTeX RDF
14	Koichi Ito, Takehisa Okano, Takafumi Aoki	Recent advances in biometrie security: A case study of liveness detection in face recognition.	APSIPA	2017	DBLP DOI BibTeX RDF
14	Andrew Sorensen, Henry J. Gardner	Systems level liveness with extempore.	Onward!	2017	DBLP DOI BibTeX RDF
14	Thomas Hujsa, Raymond R. Devillers	On Liveness and Deadlockability in Subclasses of Weighted Petri Nets.	Petri Nets	2017	DBLP DOI BibTeX RDF
14	Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello	Weak Observable Liveness and Infinite Games on Finite Graphs.	Petri Nets	2017	DBLP DOI BibTeX RDF
14	Yusuke Takimoto, Komei Hasegawa, Taichi Sono, Michita Imai	A simple bi-layered architecture to enhance the liveness of a robot.	IROS	2017	DBLP DOI BibTeX RDF
14	Natsuki Urabe, Masaki Hara, Ichiro Hasuo	Categorical liveness checking by corecursive algebras.	LICS	2017	DBLP DOI BibTeX RDF
14	Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida	Fencing off go: liveness and safety for channel-based programming.	POPL	2017	DBLP DOI BibTeX RDF
14	Igor V. Konnov 0001, Marijana Lazic, Helmut Veith, Josef Widder	A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.	POPL	2017	DBLP DOI BibTeX RDF
14	Amirhosein Toosi, Sandro Cumani, Andrea Bottino	Assessing Transfer Learning on Convolutional Neural Networks for Patch-Based Fingerprint Liveness Detection.	IJCCI (Selected Papers)	2017	DBLP DOI BibTeX RDF
14	Amirhosein Toosi, Sandro Cumani, Andrea Bottino	CNN Patch-Based Voting for Fingerprint Liveness Detection.	IJCCI	2017	DBLP DOI BibTeX RDF
14	Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao	Safety and Liveness of MCS Lock - Layer by Layer.	APLAS	2017	DBLP DOI BibTeX RDF
14	Jixiang Dong, Chunwei Tian, Yong Xu 0001	Face liveness detection using color gradient features.	SPAC	2017	DBLP DOI BibTeX RDF
14	Xiao Luan, Huaming Wang, Weihua Ou, Linghui Liu	Face liveness detection with recaptured feature extraction.	SPAC	2017	DBLP DOI BibTeX RDF
14	Sumanth Dathathri, Richard M. Murray	Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis.	CDC	2017	DBLP DOI BibTeX RDF
14	Sayali Deshmukh, Kishan Sarda, Sarang Sutavani, Sushama Wagh	Investigating the structural properties of ER-ES PN model to define liveness of the system.	ECCTD	2017	DBLP DOI BibTeX RDF
14	Étienne André, Didier Lime	Liveness in L/U-Parametric Timed Automata.	ACSD	2017	DBLP DOI BibTeX RDF
14	David Yambay, Brian Walczak, Stephanie Schuckers, Adam Czajka	LivDet-Iris 2015 - Iris Liveness Detection Competition 2015.	ISBA	2017	DBLP DOI BibTeX RDF
14	Nagashri N. Lakshminarayana, Neeti Narayan, Nils Napp, Srirangaraj Setlur, Venu Govindaraju	A discriminative spatio-temporal mapping of face for liveness detection.	ISBA	2017	DBLP DOI BibTeX RDF
14	Michael Backes 0001, Jannik Dreier, Steve Kremer, Robert Künnemann	A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange.	EuroS&P	2017	DBLP DOI BibTeX RDF
14	Jelena Mirkovic, Genevieve Bartlett, John S. Heidemann, Hao Shi, Xiyue Deng	Do you see me now? Sparsity in passive observations of address liveness.	TMA	2017	DBLP DOI BibTeX RDF
14	Javad Sohankar, Koosha Sadeghi, Ayan Banerjee 0001, Sandeep K. S. Gupta	Systematic analysis of liveness detection methods in biometrie security systems.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2017	DBLP DOI BibTeX RDF
14	Federico Pala, Bir Bhanu	Iris Liveness Detection by Relative Distance Comparisons.	CVPR Workshops	2017	DBLP DOI BibTeX RDF
14	Alexander Spiegelman, Idit Keidar	On Liveness of Dynamic Storage.	SIROCCO	2017	DBLP DOI BibTeX RDF
14	Yifei Liu, Min Zheng, Qingyong Li	Face Liveness Verification Based on Hyperspectrum Analysis.	AINA Workshops	2017	DBLP DOI BibTeX RDF
14	Petr Jancar	Deciding Structural Liveness of Petri Nets.	SOFSEM	2017	DBLP DOI BibTeX RDF
14	Gergö Barany	Liveness-Driven Random Program Generation.	LOPSTR	2017	DBLP DOI BibTeX RDF
14	Jayshree Kundargi, R. G. Karandikar	Fingerprint Liveness Detection Using Wavelet-Based Completed LBP Descriptor.	CVIP (1)	2017	DBLP DOI BibTeX RDF
14	Claudio Antares Mezzina, Vasileios Koutavas	A safety and liveness theory for total reversibility.	TASE	2017	DBLP DOI BibTeX RDF
14	Chun-Hsiao Yeh, Herng-Hua Chang	Face liveness detection with feature discrimination between sharpness and blurriness.	MVA	2017	DBLP DOI BibTeX RDF
14	Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon	On Liveness and Reversibility of Equal-Conflict Petri Nets.	Fundam. Informaticae	2016	DBLP DOI BibTeX RDF
14	G. Arunalatha, M. Ezhilarasan	Detecting liveness of fingerprint biometrics.	Int. J. Internet Protoc. Technol.	2016	DBLP DOI BibTeX RDF
14	Yiding Wang, Di Zhang, Qi Qi 0001	Liveness detection for dorsal hand vein recognition.	Pers. Ubiquitous Comput.	2016	DBLP DOI BibTeX RDF
14	Miao Liu, ShouGuang Wang, Tasawar Hayat, Ahmed Alsaedi, ZhiWu Li 0001	A resource configuration method for liveness of a class of Petri nets.	IMA J. Math. Control. Inf.	2016	DBLP DOI BibTeX RDF
14	Lai-Man Po, Yuming Li, Fang Yuan, Litong Feng	Face liveness detection using shearlet-based feature descriptors.	J. Electronic Imaging	2016	DBLP DOI BibTeX RDF
14	Mahmudur Rahman, Umut Topkara, Bogdan Carbunar	Movee: Video Liveness Verification for Mobile Devices Using Built-In Motion Sensors.	IEEE Trans. Mob. Comput.	2016	DBLP DOI BibTeX RDF
14	Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour	Liveness and Reachability Analysis of BPMN Process Models.	J. Comput. Inf. Technol.	2016	DBLP BibTeX RDF
14	Murat Uzam, Gökhan Gelen, Tahir Lawan Saleh	Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs.	Inf. Sci.	2016	DBLP DOI BibTeX RDF
14	Soowoong Kim, Bogun Park, Bong Seop Song, Seungjoon Yang	Deep belief network based statistical feature learning for fingerprint liveness detection.	Pattern Recognit. Lett.	2016	DBLP DOI BibTeX RDF
14	Yang Hu 0004, Konstantinos Sirlantzis, Gareth Howells 0001	Iris liveness detection using regional features.	Pattern Recognit. Lett.	2016	DBLP DOI BibTeX RDF
14	Abhijit Das 0001, Umapada Pal 0001, Miguel Angel Ferrer-Ballester, Michael Blumenstein	A framework for liveness detection for direct attacks in the visible spectrum for multimodal ocular biometrics.	Pattern Recognit. Lett.	2016	DBLP DOI BibTeX RDF
14	GuanJun Liu, LiJing Chen	Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait.	Int. J. Syst. Sci.	2016	DBLP DOI BibTeX RDF
14	Spyros A. Reveliotis	On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings".	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
14	Eva M. Navarro-López, Rebekah Carter	Deadness and how to disprove liveness in hybrid dynamical systems.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	Murat Uzam, ZhiWu Li 0001, Gökhan Gelen, Rabiu Saleh Zakariyya	A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems.	J. Intell. Manuf.	2016	DBLP DOI BibTeX RDF
14	Sajida Parveen, Sharifah Mumtazah Syed Ahmad, Nidaa Hasan Abbas, Wan Azizun Wan Adnan, Marsyita Hanafi, Nadeem Naeem	Face Liveness Detection Using Dynamic Local Ternary Pattern (DLTP).	Comput.	2016	DBLP DOI BibTeX RDF
14	Shejin Thavalengal, Tudor Nedelcu, Petronel Bigioi, Peter M. Corcoran	Iris liveness detection for next generation smartphones.	IEEE Trans. Consumer Electron.	2016	DBLP DOI BibTeX RDF
14	Anthony W. Lin, Philipp Rümmer	Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).	CoRR	2016	DBLP BibTeX RDF
14	Igor Konnov 0001, Marijana Lazic, Helmut Veith, Josef Widder	A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms.	CoRR	2016	DBLP BibTeX RDF
14	Mo Chen, Qie Hu, Jaime F. Fisac, Anayo K. Akametalu, Casey Mackin, Claire J. Tomlin	Guaranteeing Safety and Liveness of Unmanned Aerial Vehicle Platoons on Air Highways.	CoRR	2016	DBLP BibTeX RDF
14	Roly Perera, Simon J. Gay	Liveness for Verification.	CoRR	2016	DBLP BibTeX RDF
14	Luca Ghiani, David A. Yambay, Valerio Mura, Gian Luca Marcialis, Fabio Roli, Stephanie A. C. Schuckers	Review of the Fingerprint Liveness Detection (LivDet) competition series: 2009 to 2015.	CoRR	2016	DBLP BibTeX RDF