Sökning: "liveness"

Visar resultat 6 - 10 av 15 avhandlingar innehållade ordet liveness.

  1. 6. Live Mobile Video Interaction : Inventing and investigating technology, formats and applications

    Författare :Mudassar Ahmad Mughal; Oskar Juhlin; Gina Venolia; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; human computer interaction; liveness; live; ambient video; mobile webcasting; Computer and Systems Sciences; data- och systemvetenskap;

    Sammanfattning : The convergence of inexpensive video-enabled mobile phones, high-speed mobile data networks and ubiquitous sensing devices opens up a new design space called “live mobile video interaction”. It gives rise to a new genre of applications concerning live mobile video production, which can be seen as an instance of the said space. LÄS MER

  3. 7. Recognition and Evaluation by Video Synthesis Methods and Symmetry Features

    Författare :Dereje Teferi Lemma; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Biometrics; eye detection; video synthesis; liveness detection; camera calibration; damascening; Generalized Structure Tensor; symmetry codes;

    Sammanfattning : Biometrics is being increasingly utilized for person authentication. It requires little or no efforts from the user as compared to traditional non-biometric systems where the user has to memorize PIN codes and passwords or carry pass cards and keys that can be easily forgotten or lost. LÄS MER

  4. 8. Parameterized Systems : Generalizing and Simplifying Automatic Verification

    Författare :Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER

  5. 9. Caches, Transactions and Memories : Models, Coherence and Consistency

    Författare :Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

    Sammanfattning : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. LÄS MER

  7. 10. Lip-motion and speech biometrics in person recognition

    Författare :Maycel Isaac Faraj; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Audio-visual recognition; biometrics; Biometric recognition; Speaker verification; Speaker authentication; Person identification; Lip movements; Motion; Structure tensor; Orientation; Optical flow; Hidden Markov Model; Gaussian Markov Model; Lip-motion; Image analysis; Bildanalys;

    Sammanfattning : Biometric identification techniques are frequently used to improve security, e.g. in financial transactions, computer networks and secure critical locations. The purpose of biometric authentication systems is to verify an individual by her biological characteristics including those generating characterisitic behaviour. LÄS MER