搜索页_+Liveness

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

在“Elsevier电子期刊”中，命中：223条，耗时：小于0.01 秒

1.Inference of ranking functions for proving temporal properties by abstract interpretation

作者：Caterina Urban^a ; ^b ; ^{caterina.urban@inf.ethz.ch} ; Antoine Miné ; ^a ; ^c ; ^{antoine.mine@lip6.fr}

关键词：Static analysis ; Abstract interpretation ; Liveness ; Temporal properties ; Ranking functions ; Termination

刊名：Computer Languages, Systems & Structures

出版年：2017

2.Model checking of linear-time properties in multi-valued systems

作者：Yongming Li ; ^a ; ^{liyongm@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author} ; Manfred Droste^b ; ^{droste@informatik.uni-leipzig.de" class="auth_mail" title="E-mail the corresponding author} ; Lihui Lei^a ; ^{leilihui@snnu.edu.cn" class="auth_mail" title="E-mail the corresponding author}

关键词：Model checking ; Multi-valued transition system ; Invariant ; Safety ; Liveness ; Lattice-valued finite automaton

刊名：Information Sciences

出版年：2017

3.Deadlock recovery for flexible manufacturing systems modeled with Petri nets

作者：YuFeng Chen^a ; ^{chyf01@163.com} ; ZhiWu Li ; ^a ; ^b ; ^{zhwli@xidian.edu.cn} ; Abdulrahman Al-Ahmari^c ; ^d ; ^{alahmari@ksu.edu.sa} ; NaiQi Wu^a ; ^{nqwu@must.edu.mo} ; Ting Qu^e ; ^f ; ^{quting@jnu.edu.cn}

关键词：Flexible manufacturing system ; Petri net ; Deadlock ; Liveness

刊名：Information Sciences

出版年：2017

4.Developing a Novel Technique for Face Liveness Detection

作者：Steven Lawrence Fernandes Mr.^a ; ^{steva_fernandes@yahoo.com" class="auth_mail" title="E-mail the corresponding author} ; G. Josemin Bala ; Dr.^b ; ^{josemin@karunya.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Face recognition ; Spoofing attack ; Liveness detection ; Image Quality Assessment

刊名：Procedia Computer Science

出版年：2016

5.On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

作者：Igor Konnov ; Helmut Veith ; Josef Widder ; ^{widder@forsyte.at}

关键词：Model checking ; Fault-tolerant distributed algorithms ; Byzantine faults ; Computational models

刊名：Information and Computation

出版年：2017

6.A framework for liveness detection for direct attacks in the visible spectrum for multimodal ocular biometrics

作者：Abhijit Das^a ; ^{abhijit.das@griffithuni.edu" class="auth_mail" title="E-mail the corresponding author} ; ^{abhijitdas2048@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Umapada Pal^b ; Miguel Angel Ferrer^c ; Michael Blumenstein^a

关键词：Biometrics ; Sclera ; Liveness ; Iris ; Visible spectrum

刊名：Pattern Recognition Letters

出版年：2016

7.Deadness and how to disprove liveness in hybrid dynamical systems

作者：Eva M. Navarro-Ló ; pez ; ^{eva.navarro@manchester.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Rebekah Carter ^{racarter174@gmail.com" class="auth_mail" title="E-mail the corresponding author}

关键词：Hybrid systems ; Liveness ; Stability analysis ; Discontinuous systems ; Hybrid automata

刊名：Theoretical Computer Science

出版年：2016

8.Deep belief network based statistical feature learning for fingerprint liveness detection

作者：Soowoong Kim^a ; Bogun Park^b ; Bong Seop Song^b ; Seungjoon Yang ; ^a ; ^{syang@unist.ac.kr" class="auth_mail" title="E-mail the corresponding author}

关键词：Fingerprint liveness detection ; Fingerprint anti-spoofing ; Deep belief network ; Deep learning ; Statistical feature extraction ; Livdet2013

刊名：Pattern Recognition Letters

出版年：2016

9.Precise Biometrics and Gemalto make major acquisitions

刊名：Biometric Technology Today

出版年：2017

10.Coinbase digital currency platform verifies ID with facial recognition

刊名：Biometric Technology Today

出版年：2017

按检索点细分(223)

题名(56)

关键词(71)

文摘(195)

按出版年细分(223)

2027年及以后(13)

2017年(6)

2016年(14)

2015年(3)

2014年(1)

2013年(13)

2012年(12)

2011年(16)

2010年(10)

2009年(18)

2008年(12)

2007年(10)

2006年(17)

2005年(11)

2004年(6)

2003年(12)

2002年(6)

2001年(7)

2000年(4)

2000年及以前(32)