Search results for "liveness"

Hits ?▲	Authors	Title	Venue	Year	Link
14	David Yambay, Luca Ghiani, Paolo Denti, Gian Luca Marcialis, Fabio Roli, Stephanie A. C. Schuckers	LivDet 2011 - Fingerprint liveness detection competition 2011.	ICB	2012	DBLP DOI BibTeX RDF
14	Jerzy Brzezinski, Michal Kalewski, Cezary Sobaniec	Reliable Broadcast Protocol Independent of System Parameters for Ad Hoc Networks with Liveness Property.	ADHOC-NOW	2012	DBLP DOI BibTeX RDF
14	Teng Long, Wenhui Zhang	Proving Liveness Property under Fairness Requirements.	APSEC	2012	DBLP DOI BibTeX RDF
14	Teng Long, Wenhui Zhang	Proving Liveness Property under Strengthened Compassion Requirements.	TAMC	2012	DBLP DOI BibTeX RDF
14	Edwin Bowden-Peters, Raphael C.-W. Phan, John N. Whitley, David J. Parish	Fooling a Liveness-Detecting Capacitive Fingerprint Scanner.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
14	Jasen Markovski, Michel A. Reniers	An integrated state- and event-based framework for verifying liveness in supervised systems.	ICARCV	2012	DBLP DOI BibTeX RDF
14	Junjie Yan, Zhiwei Zhang, Zhen Lei 0001, Dong Yi, Stan Z. Li	Face liveness detection by exploring multiple scenic clues.	ICARCV	2012	DBLP DOI BibTeX RDF
14	Hesuan Hu, Rong Su 0001	A novel approach to liveness supervision of AMS with assembly operations using Petri nets.	ICARCV	2012	DBLP DOI BibTeX RDF
14	Luca Ghiani, Gian Luca Marcialis, Fabio Roli	Fingerprint liveness detection by local phase quantization.	ICPR	2012	DBLP BibTeX RDF
14	Jasen Markovski, Michel A. Reniers	Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2.	ICT Innovations	2012	DBLP DOI BibTeX RDF
14	Jerzy Brzezinski, Michal Kalewski, Marcin Kosiba, Marek Libuda	Distribution of Liveness Property Connectivity Interval in Selected Mobility Models of Wireless Ad Hoc Networks.	Euro-Par	2012	DBLP DOI BibTeX RDF
14	Mariusz Szwoch, Pawel Pieniazek	Eye Blink Based Detection of Liveness in Biometric Authentication Systems Using Conditional Random Fields.	ICCVG	2012	DBLP DOI BibTeX RDF
14	Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist	Verification of Liveness Properties on Closed Timed-Arc Petri Nets.	MEMICS	2012	DBLP DOI BibTeX RDF
14	Chris Nash, Alan F. Blackwell	Liveness and Flow in Notation Use.	NIME	2012	DBLP DOI BibTeX RDF
14	Yifan Hou, Ding Liu, MengChu Zhou	On iterative liveness-enforcement for a class of generalized Petri nets.	CASE	2012	DBLP DOI BibTeX RDF
14	Jonathan Hook, Guy Schofield, Robyn Taylor, Tom Bartindale, John C. McCarthy, Peter C. Wright	Exploring HCI's relationship with liveness.	CHI Extended Abstracts	2012	DBLP DOI BibTeX RDF
14	Luca Ghiani, Gian Luca Marcialis, Fabio Roli	Experimental results on the feature-level fusion of multiple fingerprint liveness detection algorithms.	MM&Sec	2012	DBLP DOI BibTeX RDF
14	Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat	Liveness-Based Pointer Analysis.	SAS	2012	DBLP DOI BibTeX RDF
14	Victor Bushkov, Rachid Guerraoui, Michal Kapalka	On the liveness of transactional memory.	PODC	2012	DBLP DOI BibTeX RDF
14	Asad Ali 0002, Farzin Deravi, Sanaul Hoque	Liveness Detection Using Gaze Collinearity.	EST	2012	DBLP DOI BibTeX RDF
14	Koen Claessen, Niklas Sörensson	A liveness checking algorithm that counts.	FMCAD	2012	DBLP BibTeX RDF
14	Luca Marfella, Emanuela Marasco, Carlo Sansone	Liveness-based fusion approaches in multibiometrics.	BioMS	2012	DBLP DOI BibTeX RDF
14	Emanuela Marasco, Yaohui Ding, Arun Ross	Combining match scores with liveness values in a fingerprint verification system.	BTAS	2012	DBLP DOI BibTeX RDF
14	Olga Kähm, Naser Damer	2D face liveness detection: An overview.	BIOSIG	2012	DBLP BibTeX RDF
14	Luca Ghiani, Paolo Denti, Gian Luca Marcialis	Experimental Results on Fingerprint Liveness Detection.	AMDO	2012	DBLP DOI BibTeX RDF
14	Rebekah Carter, Eva M. Navarro-López	Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.	FORMATS	2012	DBLP DOI BibTeX RDF
14	Gian Luca Marcialis, Luca Ghiani, Katja Vetter, Dirk Morgeneier, Fabio Roli	Large Scale Experiments on Fingerprint Liveness Detection.	SSPR/SPR	2012	DBLP DOI BibTeX RDF
14	Agnieszka Owczarek, Krzysztof Slot	Lipreading Procedure for Liveness Verification in Video Authentication Systems.	HAIS (1)	2012	DBLP DOI BibTeX RDF
14	Jerzy Brzezinski, Michal Kalewski, Jacek Kobusinski	Providing Uniform Reliable Broadcast Delivery for Mobile Ad Hoc Networks with MANET Liveness Property.	SRDS	2012	DBLP DOI BibTeX RDF
14	Michael Köhler-Bußmeier, Frank Heitmann	Liveness of Safe Object Nets.	Fundam. Informaticae	2011	DBLP DOI BibTeX RDF
14	Damien Imbs, Michel Raynal	A liveness condition for concurrent objects: x-wait-freedom.	Concurr. Comput. Pract. Exp.	2011	DBLP DOI BibTeX RDF
14	Paul C. Attie	On the refinement of liveness properties of distributed systems.	Formal Methods Syst. Des.	2011	DBLP DOI BibTeX RDF
14	Carlos Renato Vázquez, Manuel Silva Suárez	Timing and liveness in continuous Petri nets.	Autom.	2011	DBLP DOI BibTeX RDF
14	Yufeng Chen 0001, ZhiWu Li 0001	Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems.	Autom.	2011	DBLP DOI BibTeX RDF
14	Olga Brukman, Shlomi Dolev	Recovery oriented programming: runtime monitoring of safety and liveness.	Int. J. Softw. Tools Technol. Transf.	2011	DBLP DOI BibTeX RDF
14	Gang Pan 0001, Lin Sun, Zhaohui Wu 0001, Yueming Wang	Monocular camera-based face liveness detection by combining eyeblink and scene context.	Telecommun. Syst.	2011	DBLP DOI BibTeX RDF
14	Ahmed Nazeem, Spiridon Reveliotis	A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
14	Yufeng Chen 0001, ZhiWu Li 0001, Mohamed Khalgui, Olfa Mosbahi	Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.	IEEE Trans Autom. Sci. Eng.	2011	DBLP DOI BibTeX RDF
14	GuanJun Liu, Changjun Jiang, Daniel Y. Chao	A Necessary and Sufficient Condition for the Liveness of Normal Nets.	Comput. J.	2011	DBLP DOI BibTeX RDF
14	Bruno Peixoto, Carolina Michelassi, Anderson Rocha 0001	Face liveness detection under bad illumination conditions.	ICIP	2011	DBLP DOI BibTeX RDF
14	Jean-Vivien Millo, Swarup Mohalik, S. Ramesh 0002	Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking.	ISEC	2011	DBLP DOI BibTeX RDF
14	Thai Son Hoang, Jean-Raymond Abrial	Reasoning about Liveness Properties in Event-B.	ICFEM	2011	DBLP DOI BibTeX RDF
14	Harro Wimmel, Karsten Wolf	Finding a Witness Path for Non-liveness in Free-Choice Nets.	Petri Nets	2011	DBLP DOI BibTeX RDF
14	Alexey Gotsman, Hongseok Yang	Liveness-Preserving Atomicity Abstraction.	ICALP (2)	2011	DBLP DOI BibTeX RDF
14	Benoit Boissinot, Florian Brandner, Alain Darte, Benoît Dupont de Dinechin, Fabrice Rastello	A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs.	APLAS	2011	DBLP DOI BibTeX RDF
14	Emanuela Marasco, Carlo Sansone	On the Robustness of Fingerprint Liveness Detection Algorithms against New Materials used for Spoofing.	BIOSIGNALS	2011	DBLP BibTeX RDF
14	Tsz-Chiu Au, Neda Shahidi, Peter Stone	Enforcing Liveness in Autonomous Traffic Management.	AAAI	2011	DBLP DOI BibTeX RDF
14	Byron Cook	Advances in Proving Program Termination and Liveness.	CADE	2011	DBLP DOI BibTeX RDF
14	Hesuan Hu, Ying Tang 0001, Mengchu Zhou, Zhiwu Li 0001	Liveness supervision of AMS with complex processes using Petri nets.	SMC	2011	DBLP DOI BibTeX RDF
14	B. A. Krishna, Jonathan Michelson, Vigyan Singhal, Alok Jain	Liveness vs Safety - A Practical Viewpoint.	Haifa Verification Conference	2011	DBLP DOI BibTeX RDF
14	Jerzy Brzezinski, Michal Kalewski, Dariusz Wawrzyniak	On Time Constraints of Reliable Broadcast Protocols for Ad Hoc Networks with the Liveness Property.	PPAM (1)	2011	DBLP DOI BibTeX RDF
14	Zhiwei Zhang, Dong Yi, Zhen Lei 0001, Stan Z. Li	Face liveness detection by learning multispectral reflectance distributions.	FG	2011	DBLP DOI BibTeX RDF
14	Lin Sun, Waibin Huang, Minghui Wu 0001	TIR/VIS Correlation for Liveness Detection in Face Recognition.	CAIP (2)	2011	DBLP DOI BibTeX RDF
14	Jörg Peter Bachmann, Louchka Popova-Zeugmann	Time-independent Liveness in Time Petri Nets.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
14	Martin Drahanský, Dana Hejtmankova	New Experiments with Optical Liveness Testing Methods.	J. Inf. Hiding Multim. Signal Process.	2010	DBLP BibTeX RDF
14	Mousa Mousazadeh, Behrouz Tork Ladani, Hans Zantema	Liveness Verification in TRSs Using Tree Automata and Termination Analysis.	Comput. Informatics	2010	DBLP BibTeX RDF
14	Marcos Kawazoe Aguilera, Sam Toueg	Adaptive progress: a gracefully-degrading liveness property.	Distributed Comput.	2010	DBLP DOI BibTeX RDF
14	Mi Zhao, Yifan Hou, Ding Liu	Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming.	Int. J. Control	2010	DBLP DOI BibTeX RDF
14	Mi Zhao, ZhiWu Li 0001, Hesuan Hu	Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.	Int. J. Syst. Sci.	2010	DBLP DOI BibTeX RDF
14	Ding Liu, ZhiWu Li 0001, MengChu Zhou	Liveness of an extended S3PR.	Autom.	2010	DBLP DOI BibTeX RDF
14	Hesuan Hu, Zhiwu Li 0001	Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons.	J. Intell. Manuf.	2010	DBLP DOI BibTeX RDF
14	Rob J. van Glabbeek	The Coarsest Precongruences Respecting Safety and Liveness Properties	CoRR	2010	DBLP BibTeX RDF
14	Girija Chetty	Robust Audio Visual Biometric Person Authentication with Liveness Verification.	Intelligent Multimedia Analysis for Security Applications	2010	DBLP DOI BibTeX RDF
14	Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann	Robustness in the Presence of Liveness.	CAV	2010	DBLP DOI BibTeX RDF
14	Qi Li, Zhonghang Xia, Guangming Xing	A Binocular Framework for Face Liveness Verification under Unconstrained Localization.	ICMLA	2010	DBLP DOI BibTeX RDF
14	ShouGuang Wang, Chengying Wang, Yanping Yu	An algorithm to find the condition on initial markings of resource places and job places for liveness of S3PMR.	ICCA	2010	DBLP DOI BibTeX RDF
14	Girija Chetty	Biometric liveness checking using multimodal fuzzy fusion.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
14	Teng Long, Wenhui Zhang	Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems.	ATVA	2010	DBLP DOI BibTeX RDF
14	Edsko de Vries, Vasileios Koutavas, Matthew Hennessy	Liveness of Communicating Transactions (Extended Abstract).	APLAS	2010	DBLP DOI BibTeX RDF
14	Luke Church, Chris Nash, Alan F. Blackwell	Liveness in Notation Use: From Music to Programming.	PPIG	2010	DBLP BibTeX RDF
14	Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang 0001, Scott A. Mahlke	Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.	CDC	2010	DBLP DOI BibTeX RDF
14	Marian V. Iordache, Panos J. Antsaklis	Limitations of liveness in concurrent software systems.	CDC	2010	DBLP DOI BibTeX RDF
14	Monika Heiner, Cristian Mahulea, Manuel Silva Suárez	On the Importance of the Deadlock Trap Property for Monotonic Liveness.	ACSD/Petri Nets Workshops	2010	DBLP BibTeX RDF
14	Ahmed Nazeem, Spiridon Reveliotis	A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems.	CASE	2010	DBLP DOI BibTeX RDF
14	Carlos Renato Vázquez, Manuel Silva Suárez	Timing-dependent boundedness and liveness in continuous Petri nets.	WODES	2010	DBLP DOI BibTeX RDF
14	Changlong Jin, Shengzhe Li, Hakil Kim, Eunsoo Park	Fingerprint Liveness Detection Based on Multiple Image Quality Features.	WISA	2010	DBLP DOI BibTeX RDF
14	Jiamin Bai, Tian-Tsong Ng, Xinting Gao, Yun-Qing Shi 0001	Is physics-based liveness detection truly possible with a single image?	ISCAS	2010	DBLP DOI BibTeX RDF
14	Miguel Vargas Martin, Kamilla R. Johannsdottir, Gerardo B. Reynaga, Jayshiro Tashiro, Miguel Ángel García-Ruíz	Unconscious mind: Authenticating with something you don't know? Or just an infallible liveness test?	CCECE	2010	DBLP DOI BibTeX RDF
14	Rob J. van Glabbeek	The Coarsest Precongruences Respecting Safety and Liveness Properties.	IFIP TCS	2010	DBLP DOI BibTeX RDF
14	Xiaoyang Tan, Yi Li, Jun Liu 0003, Lin Jiang	Face Liveness Detection from a Single Image with Sparse Low Rank Bilinear Discriminative Model.	ECCV (6)	2010	DBLP DOI BibTeX RDF
14	Andy Adler, Stephanie A. C. Schuckers	Security and Liveness, Overview.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14	Michael Wagner 0004	Liveness Assurance in Voice Authentication.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14	Stephanie A. C. Schuckers	Liveness Detection: Fingerprint.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14		Liveness Detection.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14		Liveness Detection.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14	Bori Toth	Liveness Detection: Iris.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14	Michael Wagner 0004, Girija Chetty	Liveness Assurance in Face Authentication.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14		Liveness Detection.	Encyclopedia of Biometrics	2009	DBLP DOI BibTeX RDF
14	Hélia Guerra, José Félix Costa	Processes with local and global liveness requirements.	J. Log. Algebraic Methods Program.	2009	DBLP DOI BibTeX RDF
14	Hesuan Hu, Zhiwu Li 0001	Liveness Enforcing Supervision in Video Streaming Systems using Siphons.	J. Inf. Sci. Eng.	2009	DBLP BibTeX RDF
14	GuanJun Liu, Changjun Jiang	On conditions for the liveness of weakly persistent nets.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
14	Klaus Kollreider, Hartwig Fronthaler, Josef Bigün	Non-intrusive liveness detection by face images.	Image Vis. Comput.	2009	DBLP DOI BibTeX RDF
14	Aditya Abhyankar, Stephanie A. C. Schuckers	Integrating a wavelet based perspiration liveness check with fingerprint recognition.	Pattern Recognit.	2009	DBLP DOI BibTeX RDF
14	Atsushi Ohta, Kohkichi Tsuji	Computational Complexity of Liveness Problem of Normal Petri Net.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2009	DBLP DOI BibTeX RDF
14	Espen Ytreberg	Extended liveness and eventfulness in multi-platform reality formats.	New Media Soc.	2009	DBLP DOI BibTeX RDF
14	Hesuan Hu, MengChu Zhou, ZhiWu Li 0001	Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets.	IEEE Trans. Multim.	2009	DBLP DOI BibTeX RDF
14	Olivier Marchetti, Alix Munier Kordon	A sufficient condition for the liveness of weighted event graphs.	Eur. J. Oper. Res.	2009	DBLP DOI BibTeX RDF
14	Girija Chetty, Michael Wagner 0004	Biometric person authentication with liveness detection based on audio-visual fusion.	Int. J. Biom.	2009	DBLP DOI BibTeX RDF
14	ZhiWu Li 0001, Hesuan Hu	On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.	Comput. Ind. Eng.	2009	DBLP DOI BibTeX RDF
14	Shankar Bhausaheb Nikam, Suneeta Agarwal	Wavelet-based multiresolution analysis of ridges for fingerprint liveness detection.	Int. J. Inf. Comput. Secur.	2009	DBLP DOI BibTeX RDF