Sciweavers

    2853 search results - page 95 / 571
    » On Coherence in Computer Algebra
    Sort
    View
    103
    Voted
    ACS
    2010
    96views Distributed And Parallel Com...» more  ACS 2010»
    Homotopy Gerstenhaber Structures and Vertex Algebras
    15 years 2 months ago
    Homotopy Gerstenhaber Structures and Vertex Algebras
    Download  www.hausdorff-research-institute.uni-bonn.de
    I. Gálvez, V. Gorbounov, A. Tonks
    claim paper
    Read More »
    ECEASST
    2010
    116views Computer Vision» more  ECEASST 2010»
    Algebraic Model Checking
    15 years 1 months ago
    Algebraic Model Checking
    Download  fldit-www.cs.uni-dortmund.de
    Peter Padawitz
    claim paper
    Read More »
    ICTAC
    2010
    Springer
    203views Applied Computing» more  ICTAC 2010»
    Invariants and Well-Foundedness in Program Algebra
    15 years 1 months ago
    Invariants and Well-Foundedness in Program Algebra
    Download  www.fmeurope.org
    Ian J. Hayes
    claim paper
    Read More »
    COMGEO
    2007
    ACM
    92views Applied Computing» more  COMGEO 2007»
    On incremental rendering of silhouette maps of a polyhedral scene
    15 years 4 months ago
    On incremental rendering of silhouette maps of a polyhedral scene
    Download  research.microsoft.com
    We consider the problem of incrementally rendering a polyhedral scene while the viewpoint is moving. In practical situations the number of geometric primitives to be rendered can ...
    Alon Efrat, Leonidas J. Guibas, Olaf A. Hall-Holt,...
    claim paper
    Read More »
    124
    Voted
    LICS
    2005
    IEEE
    106views Automated Reasoning» more  LICS 2005»
    Process Algebras for Quantitative Analysis
    15 years 9 months ago
    Process Algebras for Quantitative Analysis
    Download  www.dcs.ed.ac.uk
    In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
    Jane Hillston
    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.