Sciweavers

    6404 search results - page 204 / 1281
    » Blocks
    Sort
    View
    DLOG
    2007
    134views Automated Reasoning» more  DLOG 2007»
    Blocking Automata for PSPACE DLs
    15 years 8 months ago
    Blocking Automata for PSPACE DLs
    Download  lat.inf.tu-dresden.de
    In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
    Franz Baader, Jan Hladik, Rafael Peñaloza
    claim paper
    Read More »
    FLAIRS
    2007
    151views Artificial Intelligence» more  FLAIRS 2007»
    BlockTree - Pedagogical Information Visualization for Heuristic Search
    15 years 8 months ago
    BlockTree - Pedagogical Information Visualization for Heuristic Search
    Download  www.aaai.org
    David Furcy, Andrew Jungwirth, Thomas L. Naps
    claim paper
    Read More »
    ASPDAC
    2008
    ACM
    76views Hardware» more  ASPDAC 2008»
    Block remap with turnoff: A variation-tolerant cache design technique
    15 years 8 months ago
    Block remap with turnoff: A variation-tolerant cache design technique
    Download  www.aspdac.com
    Mohammed Abid Hussain, Madhu Mutyam
    claim paper
    Read More »
    ASPDAC
    2005
    ACM
    122views Hardware» more  ASPDAC 2005»
    Block based statistical timing analysis with extended canonical timing model
    15 years 8 months ago
    Block based statistical timing analysis with extended canonical timing model
    Download  vlsi.ece.wisc.edu
    Lizheng Zhang, Yuhen Hu, Charlie Chung-Ping Chen
    claim paper
    Read More »
    DATE
    2005
    IEEE
    138views Hardware» more  DATE 2005»
    BB-GC: Basic-Block Level Garbage Collection
    15 years 8 months ago
    BB-GC: Basic-Block Level Garbage Collection
    Download  hal.archives-ouvertes.fr
    Memory space limitation is a serious problem for many embedded systems from diverse application domains. While circuit/packaging techniques are definitely important to squeeze la...
    Ozcan Ozturk, Mahmut T. Kandemir, Mary Jane Irwin
    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.