Sciweavers

    5630 search results - page 10 / 1126
    » Computability in Specification
    Sort
    View
    CGI
    2009
    IEEE
    169views Computer Graphics» more  CGI 2009»
    Gradient magnitude vs. feature size: comparing 2D histograms for transfer function specification
    15 years 7 months ago
    Gradient magnitude vs. feature size: comparing 2D histograms for transfer function specification
    Download  www.gris.informatik.tu-darmstadt.de
    Stefan Wesarg, Matthias Kirschner
    claim paper
    Read More »
    ASM
    2004
    ASM
    99views Computational Biology» more  ASM 2004»
    An ASM Specification of C# Threads and the .NET Memory Model
    15 years 7 months ago
    An ASM Specification of C# Threads and the .NET Memory Model
    Download  www.di.unipi.it
    Robert F. Stärk, Egon Börger
    claim paper
    Read More »
    90
    Voted
    BIRTHDAY
    2006
    Springer
    151views Applied Computing» more  BIRTHDAY 2006»
    Elementary Algebraic Specifications of the Rational Complex Numbers
    15 years 7 months ago
    Elementary Algebraic Specifications of the Rational Complex Numbers
    Download  www.cs.swan.ac.uk
    Jan A. Bergstra, John V. Tucker
    claim paper
    Read More »
    CA
    2003
    IEEE
    164views Computer Animation» more  CA 2003»
    Crafting the Illusion of Meaning: Template-Based Specification of Embodied Conversational Behavior
    15 years 7 months ago
    Crafting the Illusion of Meaning: Template-Based Specification of Embodied Conversational Behavior
    Download  www.cs.rutgers.edu
    Matthew Stone, Douglas DeCarlo
    claim paper
    Read More »
    ICNP
    1995
    IEEE
    74views Computer Networks» more  ICNP 1995»
    Protocol synthesis from timed and structured specifications
    15 years 6 months ago
    Protocol synthesis from timed and structured specifications
    Download  www.ieee-icnp.org
    Akio Nakata, Teruo Higashino, Kenichi Taniguchi
    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.