Search results for "Liveness"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger	Liveness of Parameterized Timed Networks.	CoRR	2016	DBLP BibTeX RDF
14	Claudio Antares Mezzina, Vasileios Koutavas	A Safety and Liveness Theory for Total Reversibility (Extended Abstract).	CoRR	2016	DBLP BibTeX RDF
14	Prasanna Kumar K., Amitabha Sanyal, Amey Karkare	Liveness-Based Garbage Collection for Lazy Languages.	CoRR	2016	DBLP BibTeX RDF
14	Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida	Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida	Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).	CoRR	2016	DBLP BibTeX RDF
14	Azadeh Farzan, Zachary Kincaid, Andreas Podelski	Proving Liveness of Parameterized Programs.	CoRR	2016	DBLP BibTeX RDF
14	Petr Jancar	Deciding structural liveness of Petri nets.	CoRR	2016	DBLP BibTeX RDF
14	Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado	Fingerprint Liveness Detection Using Convolutional Neural Networks.	IEEE Trans. Inf. Forensics Secur.	2016	DBLP DOI BibTeX RDF
14	Rohit Kumar Dubey, Jonathan Goh, Vrizlynn L. L. Thing	Fingerprint Liveness Detection From Single Image Using Low-Level Features and Shape Analysis.	IEEE Trans. Inf. Forensics Secur.	2016	DBLP DOI BibTeX RDF
14	Yaohui Ding, Ajita Rattani, Arun Ross	Bayesian Belief models for integrating match scores with liveness and quality measures in a fingerprint verification system.	ICB	2016	DBLP DOI BibTeX RDF
14	Nazariy K. Shaydyuk, Timothy Cleland	Biometric identification via retina scanning with liveness detection using speckle contrast imaging.	ICCST	2016	DBLP DOI BibTeX RDF
14	Linghan Zhang, Sheng Tan, Jie Yang 0003, Yingying Chen 0001	VoiceLive: A Phoneme Localization based Liveness Detection for Voice Authentication on Smartphones.	CCS	2016	DBLP DOI BibTeX RDF
14	Anthony W. Lin, Philipp Rümmer	Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.	CAV (2)	2016	DBLP DOI BibTeX RDF
14	Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover	Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations.	CAV (1)	2016	DBLP DOI BibTeX RDF
14	Wonjun Kim 0001	Towards real biometrics : An overview of fingerprint liveness detection.	APSIPA	2016	DBLP DOI BibTeX RDF
14	Prasanna Kumar K., Amitabha Sanyal, Amey Karkare	Liveness-based garbage collection for lazy languages.	ISMM	2016	DBLP DOI BibTeX RDF
14	Azadeh Farzan, Zachary Kincaid, Andreas Podelski	Proving Liveness of Parameterized Programs.	LICS	2016	DBLP DOI BibTeX RDF
14	Andrew M. Webb, Chen Wang 0034, Andruid Kerne, Pablo César	Distributed Liveness: Understanding How New Technologies Transform Performance Experiences.	CSCW	2016	DBLP DOI BibTeX RDF
14	Özgür Kafali, Nirav Ajmeri, Munindar P. Singh	Formal Understanding of Tradeoffs among Liveness and Safety Requirements.	RE Workshops	2016	DBLP DOI BibTeX RDF
14	Yuming Li, Lai-Man Po, Xuyuan Xu, Litong Feng, Fang Yuan	Face liveness detection and recognition using shearlet based feature descriptors.	ICASSP	2016	DBLP DOI BibTeX RDF
14	Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault	Heuristics for Checking Liveness Properties with Partial Order Reductions.	ATVA	2016	DBLP DOI BibTeX RDF
14	Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez	On liveness enforcement of DSSP net systems.	CDC	2016	DBLP DOI BibTeX RDF
14	Yi Xu 0006, True Price, Jan-Michael Frahm, Fabian Monrose	Virtual U: Defeating Face Liveness Detection by Building Virtual Models from Your Public Photos.	USENIX Security Symposium	2016	DBLP BibTeX RDF
14	Jianzheng Liu, Jucheng Yang 0001, Chao Wu, Yarui Chen	A Liveness Detection Method Based on Blood Volume Pulse Probing.	CCBR	2016	DBLP DOI BibTeX RDF
14	Qin Lin, Weijun Li, Xin Ning, Xiaoli Dong, Peng Chen	Liveness Detection Using Texture and 3D Structure Analysis.	CCBR	2016	DBLP DOI BibTeX RDF
14	Lifang Wu, Yaowen Xu, Xiao Xu, Wei Qi, Meng Jian	A Face Liveness Detection Scheme to Combining Static and Dynamic Features.	CCBR	2016	DBLP DOI BibTeX RDF
14	Kamlesh Tiwari, Suresh Kumar Choudhary, Phalguni Gupta	An Efficient Face Recognition System with Liveness and Threat Detection for Smartphones.	ICIC (2)	2016	DBLP DOI BibTeX RDF
14	Susanna Spinsante, Laura Montanini, Veronica Bartolucci, Manola Ricciuti, Ennio Gambi	Android-Based Liveness Detection for Access Control in Smart Homes.	GOODTECHS	2016	DBLP DOI BibTeX RDF
14	Mohamed Naoum, Outman El Hichami, Mohammed Al Achhab, Badr Eddine El Mohajir	A probabilistic method for business process verification: Reachability, Liveness and deadlock detection.	CIST	2016	DBLP DOI BibTeX RDF
14	Sayaka Shiota, Fernando Villavicencio, Junichi Yamagishi, Nobutaka Ono, Isao Echizen, Tomoko Matsui	Voice Liveness Detection for Speaker Verification based on a Tandem Single/Double-channel Pop Noise Detector.	Odyssey	2016	DBLP DOI BibTeX RDF
14	Xiaoju Dong, Yuxi Fu, Daniele Varacca	Place Bisimulation and Liveness for Open Petri Nets.	SETTA	2016	DBLP DOI BibTeX RDF
14	Wangyang Yu, Guanjun Liu, Leifeng He	A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets.	SpaCCS	2016	DBLP DOI BibTeX RDF
14	Jukka Komulainen, Iryna Anina, Jukka Holappa, Elhocine Boutellaa, Abdenour Hadid	On the robustness of audiovisual liveness detection to visual speech animation.	BTAS	2016	DBLP DOI BibTeX RDF
14	Lingxiao He, Haiqing Li, Fei Liu 0031, Nianfeng Liu, Zhenan Sun, Zhaofeng He	Multi-patch convolution neural network for iris liveness detection.	BTAS	2016	DBLP DOI BibTeX RDF
14	Eunsoo Park, Weonjin Kim, Qiongxiu Li, Jungmin Kim, Hakil Kim	Fingerprint Liveness Detection Using CNN Features of Random Sample Patches.	BIOSIG	2016	DBLP DOI BibTeX RDF
14	Yue Wang 0026, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki	Task and Motion Policy Synthesis as Liveness Games.	ICAPS	2016	DBLP BibTeX RDF
14	Munalih Ahmad Syarif, Latifah Mat Nen, Alwyn Goh, Kay Win Lee, Kang Siong Ng, Leslie Ching Ow Tiong	Challenge response interaction for biometric liveness establishment and template protection.	PST	2016	DBLP DOI BibTeX RDF
14	Wonjun Kim, Sungjoo Suh, Youngsung Kim, Changkyu Choi	Fingerprint Liveness Detection Using Ensemble of Local Image Quality Assessments.	Visual Information Processing and Communication	2016	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.	FSTTCS	2016	DBLP DOI BibTeX RDF
14	Görkem Kilinç Soylu	Formal notions of non-interference and liveness for distributed systems.		2016	RDF
14	Peter Matthew	Novel approaches to biometric security with an emphasis on liveness and coercion detection.		2016	RDF
14	Thanh-Tung Tran	Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation).		2016	RDF
14	Andy Adler, Stephanie A. C. Schuckers	Security and Liveness, Overview.	Encyclopedia of Biometrics	2015	DBLP DOI BibTeX RDF
14	Diego Gragnaniello, Giovanni Poggi, Carlo Sansone, Luisa Verdoliva	Local contrast phase descriptor for fingerprint liveness detection.	Pattern Recognit.	2015	DBLP DOI BibTeX RDF
14	Diego Gragnaniello, Carlo Sansone, Luisa Verdoliva	Iris liveness detection for mobile devices based on local descriptors.	Pattern Recognit. Lett.	2015	DBLP DOI BibTeX RDF
14	Jörg Desel, Görkem Kilinç 0001	Observable liveness of Petri nets.	Acta Informatica	2015	DBLP DOI BibTeX RDF
14	GaiYun Liu, Kamel Barkaoui	Necessary and sufficient liveness condition of GS3PR Petri nets.	Int. J. Syst. Sci.	2015	DBLP DOI BibTeX RDF
14	V. Deverakonda, R. S. Sreenivas	On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
14	E. Salimi, R. S. Sreenivas	On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
14	Dan You, Shouguang Wang, Mengchu Zhou	Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 3 PR With ξ-Resources.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
14	S. Chandrasekaran, N. Somnath, R. S. Sreenivas	A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems.	J. Intell. Manuf.	2015	DBLP DOI BibTeX RDF
14	Alexander Spiegelman, Idit Keidar	On Liveness of Dynamic Storage.	CoRR	2015	DBLP BibTeX RDF
14	Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado	Evaluating software-based fingerprint liveness detection using Convolutional Networks and Local Binary Patterns.	CoRR	2015	DBLP BibTeX RDF
14	Zahid Akhtar, Christian Micheloni, Gian Luca Foresti	Biometric Liveness Detection: Challenges and Research Opportunities.	IEEE Secur. Priv.	2015	DBLP DOI BibTeX RDF
14	Oleg V. Komogortsev, Alexey Karpov 0002, Corey D. Holland	Attack of Mechanical Replicas: Liveness Detection With Eye Movements.	IEEE Trans. Inf. Forensics Secur.	2015	DBLP DOI BibTeX RDF
14	Adam Czajka	Pupil Dynamics for Iris Liveness Detection.	IEEE Trans. Inf. Forensics Secur.	2015	DBLP DOI BibTeX RDF
14	Sooyeon Kim, Yuseok Ban, Sangyoun Lee	Face Liveness Detection Using Defocus.	Sensors	2015	DBLP DOI BibTeX RDF
14	Ana Filipa Sequeira, Jaime S. Cardoso 0001	Fingerprint Liveness Detection in the Presence of Capable Intruders.	Sensors	2015	DBLP DOI BibTeX RDF
14	Tom Schofield, David S. Kirk, Telmo Amaral, Marian Dörk, Mitchell Whitelaw, Guy Schofield, Thomas Ploetz	Archival Liveness: Designing with Collections Before and During Cataloguing and Digitization.	Digit. Humanit. Q.	2015	DBLP BibTeX RDF
14	Wonjun Kim, Sungjoo Suh, Jae-Joon Han	Face Liveness Detection From a Single Image via Diffusion Speed Model.	IEEE Trans. Image Process.	2015	DBLP DOI BibTeX RDF
14	Zahid Akhtar, Christian Micheloni, Gian Luca Foresti	Correlation based fingerprint liveness detection.	ICB	2015	DBLP DOI BibTeX RDF
14	Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan	Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.	CSDM	2015	DBLP DOI BibTeX RDF
14	Yan Li 0075, Yingjiu Li, Qiang Yan 0001, Hancong Kong, Robert H. Deng	Seeing Your Face Is Not Enough: An Inertial Sensor-Based Liveness Detection for Face Authentication.	CCS	2015	DBLP DOI BibTeX RDF
14	Sayaka Shiota, Fernando Villavicencio, Junichi Yamagishi, Nobutaka Ono, Isao Echizen, Tomoko Matsui	Voice liveness detection algorithms based on pop noise caused by human breath for automatic speaker verification.	INTERSPEECH	2015	DBLP DOI BibTeX RDF
14	Krzysztof Adamiak, Dominik Zurek, Krzysztof Slot	Liveness detection in remote biometrics based on gaze direction estimation.	FedCSIS	2015	DBLP DOI BibTeX RDF
14	Andrew Sogokon, Paul B. Jackson	Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.	FM	2015	DBLP DOI BibTeX RDF
14	Søren Debois, Thomas T. Hildebrandt, Tijs Slaats	Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.	FM	2015	DBLP DOI BibTeX RDF
14	Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni	Liveness of Parameterized Timed Networks.	ICALP (2)	2015	DBLP DOI BibTeX RDF
14	Rachel Faran, Orna Kupferman	Spanning the Spectrum from Safety to Liveness.	ATVA	2015	DBLP DOI BibTeX RDF
14	Mohit Kumar, Niladri B. Puhan	Iris liveness detection using texture segmentation.	NCVPRIPG	2015	DBLP DOI BibTeX RDF
14	Xinju Zhang, Shuzhen Yao	The new method of liveness verification with Object-Oriented Timed Petri Nets.	ICACI	2015	DBLP DOI BibTeX RDF
14	Maria Paola Bianchi, Juraj Hromkovic, Ivan Kovác	On the Size of Two-Way Reasonable Automata for the Liveness Problem.	DLT	2015	DBLP DOI BibTeX RDF
14	Mengya Lu, Zhiqiang Chen, Weiguo Sheng	Fingerprint Liveness Detection Based on Pore Analysis.	CCBR	2015	DBLP DOI BibTeX RDF
14	Xiaoming Li 0002, Wei Bu, Xiangqian Wu 0002	Palmprint Liveness Detection by Combining Binarized Statistical Image Features and Image Quality Assessment.	CCBR	2015	DBLP DOI BibTeX RDF
14	Chengyan Lin, Yuwu Lu, Jian Wu, Yong Xu 0001	Low Rank Analysis of Eye Image Sequence - A Novel Basis for Face Liveness Detection.	CCBR	2015	DBLP DOI BibTeX RDF
14	Chenggang Wang, Ke Li, Zhihong Wu, Qijun Zhao	A DCNN Based Fingerprint Liveness Detection Algorithm with Voting Strategy.	CCBR	2015	DBLP DOI BibTeX RDF
14	Florent Berthaut, David Coyle, James W. Moore, Hannah Limerick	Liveness through the lens of agency and causality.	NIME	2015	DBLP DOI BibTeX RDF
14	Aleksandr Melnikov, Rasim Akhunzyanov, Oleg Kudashev, Eugene Luckyanets	Audiovisual Liveness Detection.	ICIAP (2)	2015	DBLP DOI BibTeX RDF
14	Victor Bushkov, Rachid Guerraoui	Safety-Liveness Exclusion in Distributed Computing.	PODC	2015	DBLP DOI BibTeX RDF
14	Amirhosein Toosi, Sandro Cumani, Andrea Bottino	On Multiview Analysis for Fingerprint Liveness Detection.	CIARP	2015	DBLP DOI BibTeX RDF
14	Jinyi Wang, Mudassar Ahmad Mughal, Oskar Juhlin	Experiencing Liveness of a Cherished Place in the Home.	TVX	2015	DBLP DOI BibTeX RDF
14	Ramachandra Raghavendra, Manasa Avinash, Sébastien Marcel, Christoph Busch 0001	Finger vein liveness detection using motion magnification.	BTAS	2015	DBLP DOI BibTeX RDF
14	Valerio Mura, Luca Ghiani, Gian Luca Marcialis, Fabio Roli, David A. Yambay, Stephanie A. C. Schuckers	LivDet 2015 fingerprint liveness detection competition 2015.	BTAS	2015	DBLP DOI BibTeX RDF
14	Maximilian Krieg, Nils Rogmann	Liveness Detection in Biometrics.	BIOSIG	2015	DBLP DOI BibTeX RDF
14	Victor Bushkov, Rachid Guerraoui	Liveness in Transactional Memory.	Transactional Memory	2015	DBLP DOI BibTeX RDF
14	Mahmudur Rahman, Mozhgan Azimpourkivi, Umut Topkara, Bogdan Carbunar	Liveness verifications for citizen journalism videos.	WISEC	2015	DBLP DOI BibTeX RDF
14	E. Salimi, N. Somnath, Ramavarapu S. Sreenivas	On supervisory policies that enforce liveness in controlled Petri nets that are similar.	RAM/CIS	2015	DBLP DOI BibTeX RDF
14	Victor Bushkov	Safety, Liveness and Parallelism in Concurrent Computing.		2015	DOI RDF
14	Asad Ali 0002	Biometric liveness detection using gaze information.		2015	RDF
14	Luca Ghiani	Textural features for fingerprint liveness detection.		2015	RDF
14	Ana Filipa Sequeira	Liveness Detection and Robust Recognition in Iris and Fingerprint Biometric Systems		2015	RDF
14	David Harel, Guy Katz, Assaf Marron, Gera Weiss	Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs.	Trans. Comput. Collect. Intell.	2014	DBLP DOI BibTeX RDF
14	Avinash Kumar Singh, Piyush Joshi, Gora Chand Nandi	Face liveness detection through face structure analysis.	Int. J. Appl. Pattern Recognit.	2014	DBLP DOI BibTeX RDF
14	David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu	Deciding safety and liveness in TPTL.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
14	Cindy Eisner, Dana Fisman, John Havlicek	Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations.	ACM Trans. Comput. Log.	2014	DBLP DOI BibTeX RDF
14	Yufeng Chen 0001, ZhiWu Li 0001, Kamel Barkaoui	Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems.	Inf. Sci.	2014	DBLP DOI BibTeX RDF
14	Chuanliang Xia	Liveness and boundedness analysis of Petri net synthesis.	Math. Struct. Comput. Sci.	2014	DBLP DOI BibTeX RDF
14	Yanyan Guo, Xiangdong Fei, Qijun Zhao	Fingerprint Liveness Detection Using Multiple Static Features and Random Forests.	Int. J. Image Graph.	2014	DBLP DOI BibTeX RDF
14	Kyoung-Dae Kim, Panganamala Ramana Kumar	An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic.	IEEE Trans. Autom. Control.	2014	DBLP DOI BibTeX RDF
14	ShouGuang Wang, Miao Liu	Comments on "Liveness of an extended S3PR" [Automatica 46 (2010) 1008-1018].	Autom.	2014	DBLP DOI BibTeX RDF