Sciweavers

    31387 search results - page 154 / 6278
    » Abstracts
    Sort
    View
    ISMVL
    2005
    IEEE
    114views Hardware» more  ISMVL 2005»
    An Abstract Axiomatization of the Notion of Entropy
    16 years 13 days ago
    An Abstract Axiomatization of the Notion of Entropy
    Download  www.cs.umb.edu
    Ivo G. Rosenberg, Dan A. Simovici
    claim paper
    Read More »
    ISWC
    2005
    IEEE
    161views Human Computer Interaction» more  ISWC 2005»
    Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
    16 years 13 days ago
    Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
    Download  www.cs.washington.edu
    Donald J. Patterson, Dieter Fox, Henry A. Kautz, M...
    claim paper
    Read More »
    KBSE
    2005
    IEEE
    88views Software Engineering» more  KBSE 2005»
    Test input generation for red-black trees using abstraction
    16 years 13 days ago
    Test input generation for red-black trees using abstraction
    Download  www.fi.muni.cz
    Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
    claim paper
    Read More »
    MEMOCODE
    2005
    IEEE
    95views Formal Methods» more  MEMOCODE 2005»
    Extended abstract: a race-free hardware modeling language
    16 years 13 days ago
    Extended abstract: a race-free hardware modeling language
    Download  www.emsec.ee.ucla.edu
    We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
    Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
    claim paper
    Read More »
    135
    Voted
    SCAM
    2005
    IEEE
    59views Software Engineering» more  SCAM 2005»
    Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar
    16 years 13 days ago
    Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar
    Download  www.complang.tuwien.ac.at
    Markus Schordan, Daniel J. Quinlan
    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.