Sciweavers

    7796 search results - page 1248 / 1560
    » On Generalized Schur Numbers
    Sort
    View
    JLP
    2006
    155views more  JLP 2006»
    A formally grounded software specification method
    14 years 11 months ago
    A formally grounded software specification method
    Download  www.disi.unige.it
    One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
    Christine Choppy, Gianna Reggio
    claim paper
    Read More »
    JLP
    2006
    138views more  JLP 2006»
    Algebraic-coalgebraic specification in CoCasl
    14 years 11 months ago
    Algebraic-coalgebraic specification in CoCasl
    Download  www.informatik.uni-bremen.de
    We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
    Till Mossakowski, Lutz Schröder, Markus Rogge...
    claim paper
    Read More »
    JMIV
    2006
    124views more  JMIV 2006»
    Segmentation of a Vector Field: Dominant Parameter and Shape Optimization
    14 years 11 months ago
    Segmentation of a Vector Field: Dominant Parameter and Shape Optimization
    Download  www.i3s.unice.fr
    Vector field segmentation methods usually belong to either of three classes: methods which segment regions homogeneous in direction and/or norm, methods which detect discontinuiti...
    Tristan Roy, Eric Debreuve, Michel Barlaud, Gilles...
    claim paper
    Read More »
    JSAC
    2006
    157views more  JSAC 2006»
    Traffic grooming in path, star, and tree networks: complexity, bounds, and algorithms
    14 years 11 months ago
    Traffic grooming in path, star, and tree networks: complexity, bounds, and algorithms
    Download  www-sop.inria.fr
    We consider the problem of traffic grooming in WDM path, star, and tree networks. Traffic grooming is a variant of the well-known logical topology design, and is concerned with the...
    Shu Huang, Rudra Dutta, George N. Rouskas
    claim paper
    Read More »
    NAR
    2008
    191views more  NAR 2008»
    The BioGRID Interaction Database: 2008 update
    14 years 11 months ago
    The BioGRID Interaction Database: 2008 update
    Download  www.bahlerlab.info
    The Biological General Repository for Interaction Datasets (BioGRID) database (http://www. thebiogrid.org) was developed to house and distribute collections of protein and genetic...
    Bobby-Joe Breitkreutz, Chris Stark, Teresa Reguly,...
    claim paper
    Read More »
    « Prev « First page 1248 / 1560 Last » Next »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.