Sciweavers

    11716 search results - page 247 / 2344
    » Computable symbolic dynamics
    Sort
    View
    AAI
    2000
    122views more  AAI 2000»
    High-Level Interpretation in Virtual Environments
    15 years 6 months ago
    High-Level Interpretation in Virtual Environments
    Download  www.eimc.brad.ac.uk
    : As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
    Marc Cavazza, Ian Palmer
    claim paper
    Read More »
    ISOLA
    2010
    Springer
    136views Formal Methods» more  ISOLA 2010»
    A Memory Model for Static Analysis of C Programs
    15 years 5 months ago
    A Memory Model for Static Analysis of C Programs
    Download  lcs.ios.ac.cn
    Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
    Zhongxing Xu, Ted Kremenek, Jian Zhang
    claim paper
    Read More »
    CVPR
    2000
    IEEE
    109views Computer Vision» more  CVPR 2000»
    Detecting and Tracking Eyes by Using Their Physiological Properties, Dynamics, and Appearance
    16 years 8 months ago
    Detecting and Tracking Eyes by Using Their Physiological Properties, Dynamics, and Appearance
    Download  www.cc.gatech.edu
    Antonio Haro, Myron Flickner, Irfan A. Essa
    claim paper
    Read More »
    CVPR
    2004
    IEEE
    158views Computer Vision» more  CVPR 2004»
    Variational Mixture Smoothing for Non-Linear Dynamical Systems
    16 years 8 months ago
    Variational Mixture Smoothing for Non-Linear Dynamical Systems
    Download  www.cs.toronto.edu
    Cristian Sminchisescu, Allan D. Jepson
    claim paper
    Read More »
    ICCV
    2007
    IEEE
    145views Computer Vision» more  ICCV 2007»
    Simultaneous Learning of Nonlinear Manifold and Dynamical Models for High-dimensional Time Series
    16 years 8 months ago
    Simultaneous Learning of Nonlinear Manifold and Dynamical Models for High-dimensional Time Series
    Download  www.cs.bu.edu
    Rui Li, Tai-Peng Tian, Stan Sclaroff
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.