Sciweavers

    14121 search results - page 263 / 2825
    » Interval Computations in Computer Vision
    Sort
    View
    ICCV
    2011
    IEEE
    209views Computer Vision» more  ICCV 2011»
    Pushing the limits of digital imaging using Structured Illumination
    14 years 6 months ago
    Pushing the limits of digital imaging using Structured Illumination
    Download  lyle.smu.edu
    Prasanna Rangarajan, Indranil Sinharoy, Panos Papa...
    claim paper
    Read More »
    CVPR
    2012
    IEEE
    265views Computer Vision» more  CVPR 2012»
    Layered segmentation and optical flow estimation over time
    13 years 9 months ago
    Layered segmentation and optical flow estimation over time
    Download  www.cs.brown.edu
    Deqing Sun, Erik B. Sudderth, Michael J. Black
    claim paper
    Read More »
    CVPR
    2012
    IEEE
    177views Computer Vision» more  CVPR 2012»
    Sharing features in multi-class boosting via group sparsity
    13 years 9 months ago
    Sharing features in multi-class boosting via group sparsity
    Download  digital.library.adelaide.edu.au
    Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van...
    claim paper
    Read More »
    STACS
    1999
    Springer
    141views Theoretical Computer Science» more  STACS 1999»
    Completeness of Neighbourhood Logic
    15 years 10 months ago
    Completeness of Neighbourhood Logic
    Download  eprints.iisc.ernet.in
    This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
    Rana Barua, Suman Roy, Zhou Chaochen
    claim paper
    Read More »
    BIRTHDAY
    2010
    Springer
    192views Applied Computing» more  BIRTHDAY 2010»
    Counterexample Guided Path Reduction for Static Program Analysis
    15 years 7 months ago
    Counterexample Guided Path Reduction for Static Program Analysis
    Download  www.cse.unsw.edu.au
    Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
    Ansgar Fehnker, Ralf Huuck, Sean Seefried
    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.