Liveness - PDFSEARCH.IO - Document Search Engine

Liveness
Results: 51

#	Item
31	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:29:47 Economy Concurrent computing Liveness Safety Is-a Mode Money supply Transition
32	From Liveness to Promptness Orna Kupferman Hebrew University Nir Piterman Imperial College Add to Reading List Source URL: www.cs.rice.edu - Date: 2007-11-21 17:29:38
33	Journal of Electrical and Computer Engineering Special Issue on Face Liveness Detection CALL FOR PAPERS Face recognition is a widely used biometric technology due to its convenience and Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2015-02-23 08:24:35 Surveillance Face Behavioural sciences Face recognition Automatic identification and data capture Facial recognition system
34	Why read fiction? 1. LIVENESS – not knowing in advance 2. CREATIVE INATTICULACY – emergent thinking 3. THE PLACE OF THE EMOTIONAL AND THE PERSONAL IN MEANING 4. THE GROUP – a new social community Add to Reading List Source URL: www.danmarklaeser.dk - Date: 2014-11-19 05:39:29
35	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2007-03-11 23:28:24 Random walk Action Model checking Information Communications protocol
36	Spatial and Behavioural types: safety, liveness and decidability Lucia Acciai and Michele Boreale Dipartimento di Sistemi e Informatica Università degli Studi di Firenze Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 04:33:13 Type system Model checking Calculus Applied mathematics Computer science Mathematics Process calculi Theoretical computer science Π-calculus
37	02 - Fingerprint Biometrics Liveness Detection Add to Reading List Source URL: www.i2r.a-star.edu.sg Language: English - Date: 2014-10-30 23:09:48 Technology Fiber Bragg grating Intrusion detection system Sensors Fusionopolis Queenstown Singapore
38	02 - Fingerprint Biometrics Liveness Detection Add to Reading List Source URL: www.i2r.a-star.edu.sg Language: English - Date: 2014-10-30 23:06:41 Queenstown Singapore Analytics Business Science Knowledge Business intelligence Formal sciences Fusionopolis
39	Deciding Safety and Liveness in TPTL David Basina , Carlos Cotrini Jim´eneza,∗, Felix Klaedtkeb,1 , Eugen Z˘alinescua a Institute of Information Security, ETH Zurich, Switzerland Europe Ltd., Heidelberg, Germany Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-06-24 05:41:33 Model theory Structure Logic Physics Holomorphic functional calculus Itō diffusion Mathematics Linear temporal logic Temporal logic
40	Recognizing safety and liveness Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 15:44:12 Computer science Büchi automaton Finite-state machine Powerset construction Infinite tree automaton Ω-automaton Automata theory Theoretical computer science Models of computation

UPDATE