Sciweavers

    1284 search results - page 55 / 257
    » On Helping and Interactive Proof Systems
    Sort
    View
    FGR
    1996
    IEEE
    159views Biometrics» more  FGR 1996»
    Visual Interaction With Lifelike Characters
    14 years 2 months ago
    Visual Interaction With Lifelike Characters
    Download  www.cs.ucsb.edu
    This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
    Matthew Turk
    claim paper
    Read More »
    ETRA
    2000
    ACM
    120views Biometrics» more  ETRA 2000»
    An interactive model-based environment for eye-movement protocol analysis and visualization
    14 years 1 months ago
    An interactive model-based environment for eye-movement protocol analysis and visualization
    Download  www.cs.drexel.edu
    This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
    Dario D. Salvucci
    claim paper
    Read More »
    HCI
    2007
    160views Human Computer Interaction» more  HCI 2007»
    Character Agents in E-Learning Interface Using Multimodal Real-Time Interaction
    13 years 11 months ago
    Character Agents in E-Learning Interface Using Multimodal Real-Time Interaction
    Download  www.miv.t.u-tokyo.ac.jp
    This paper describes an e-learning interface with multiple tutoring character agents. The character agents use eye movement information to facilitate empathy-relevant reasoning and...
    Hua Wang, Jie Yang, Mark H. Chignell, Mitsuru Ishi...
    claim paper
    Read More »
    IEEEVAST
    2010
    137views Emerging Technology» more  IEEEVAST 2010»
    Interactive querying of temporal data using a comic strip metaphor
    13 years 4 months ago
    Interactive querying of temporal data using a comic strip metaphor
    Download  www.isi.edu
    Finding patterns in temporal data is an important data analysis task in many domains. Static visualizations can help users easily see certain instances of patterns, but are not sp...
    Jing Jin, Pedro A. Szekely
    claim paper
    Read More »
    SP
    2009
    IEEE
    155views Security Privacy» more  SP 2009»
    A Logic of Secure Systems and its Application to Trusted Computing
    14 years 4 months ago
    A Logic of Secure Systems and its Application to Trusted Computing
    Download  www.cs.cmu.edu
    We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
    Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.