Sciweavers

    2024 search results - page 90 / 405
    » The Meaning of Ordered SOS
    Sort
    View
    TAPSOFT
    1991
    Springer
    118views Software Engineering» more  TAPSOFT 1991»
    Type Inference with Inequalities
    14 years 2 months ago
    Type Inference with Inequalities
    Download  www.brics.dk
    Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
    Michael I. Schwartzbach
    claim paper
    Read More »
    ACE
    2004
    315views Education» more  ACE 2004»
    Applying SPICE to e-Learning: An e-Learning Maturity Model?
    14 years 18 days ago
    Applying SPICE to e-Learning: An e-Learning Maturity Model?
    Download  crpit.com
    The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...
    Stephen Marshall, Geoff Mitchell
    claim paper
    Read More »
    FORTE
    1997
    95views Formal Methods» more  FORTE 1997»
    A Hierarchy of Communication Models for Message Sequence Charts
    14 years 16 days ago
    A Hierarchy of Communication Models for Message Sequence Charts
    Download  www.win.tue.nl
    In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
    André Engels, Sjouke Mauw, Michel A. Renier...
    claim paper
    Read More »
    WSC
    1997
    142views Modeling And Simulation» more  WSC 1997»
    Evaluation of a (R, s, Q, c) Multi-Item Inventory Replenishment Policy Through Simulation
    14 years 16 days ago
    Evaluation of a (R, s, Q, c) Multi-Item Inventory Replenishment Policy Through Simulation
    Download  www.informs-sim.org
    In this paper, the case of a cardboard box marketing firm is studied and a (R,s,Q,c) inventory replenishment policy is proposed and evaluated by means of discrete event simulation...
    Carlos B. Ramirez Cerda, Armando J. Espinosa de lo...
    claim paper
    Read More »
    EACL
    1993
    ACL Anthology
    108views Natural Language Processing» more  EACL 1993»
    On the notion of uniqueness
    14 years 16 days ago
    On the notion of uniqueness
    Download  acl.ldc.upenn.edu
    In the paper it is argued that for some linguistic phenomena, current discourse representation structures are insufficiently finegrained, both from the perspective of serving as r...
    Joke Dorrepaal
    claim paper
    Read More »
    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-2024, USA.