Sciweavers

    8177 search results - page 96 / 1636
    » Detecting System Emulators
    Sort
    View
    TRECVID
    2008
    160views Internet Technology» more  TRECVID 2008»
    The Orange Labs Real Time Video Copy Detection System - TrecVid 2008 Results
    15 years 7 months ago
    The Orange Labs Real Time Video Copy Detection System - TrecVid 2008 Results
    Download  www-nlpir.nist.gov
    In this paper, we describe the content-based video copy detection system developed at Orange Labs. We also present the evaluation results of the TrecVid 2008 copy detection evalua...
    Nicolas Gengembre, Sid-Ahmed Berrani
    claim paper
    Read More »
    CADE
    2012
    Springer
    204views Logical Reasoning» more  CADE 2012»
    Proving Non-looping Non-termination Automatically
    13 years 8 months ago
    Proving Non-looping Non-termination Automatically
    Download  verify.rwth-aachen.de
    We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...
    Fabian Emmes, Tim Enger, Jürgen Giesl
    claim paper
    Read More »
    MONTEREY
    2007
    Springer
    152views Embedded Systems» more  MONTEREY 2007»
    Defect Detection and Prevention (DDP)
    16 years 10 days ago
    Defect Detection and Prevention (DDP)
    Download  ddptool.jpl.nasa.gov
    Martin S. Feather
    claim paper
    Read More »
    HYBRID
    2004
    Springer
    100views Control Systems» more  HYBRID 2004»
    Non-concurrent Error Detection and Correction in Switched Linear Controllers
    15 years 11 months ago
    Non-concurrent Error Detection and Correction in Switched Linear Controllers
    Download  www.seas.upenn.edu
    Shreyas Sundaram, Christoforos N. Hadjicostis
    claim paper
    Read More »
    SRDS
    2000
    IEEE
    116views Operating System» more  SRDS 2000»
    Consistent Detection of Global Predicates under a Weak Fault Assumption
    15 years 10 months ago
    Consistent Detection of Global Predicates under a Weak Fault Assumption
    Download  pi1.informatik.uni-mannheim.de
    Felix C. Gärtner, Sven Kloppenburg
    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.