Sciweavers

    BIRTHDAY
    1991
    Springer
    82views Applied Computing» more  BIRTHDAY 1991»
    User Interface Development: Problems and Experiences
    13 years 8 months ago
    User Interface Development: Problems and Experiences
    Download  www.fernuni-hagen.de
    : In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
    Hans-Werner Six, Josef Voss
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    76views Applied Computing» more  BIRTHDAY 1991»
    Labeled 2-Structures
    13 years 8 months ago
    Labeled 2-Structures
    Download  users.utu.fi
    Grzegorz Rozenberg
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    98views Applied Computing» more  BIRTHDAY 1991»
    Similarity, Uncertainty and Case-Based Reasoning in Patdex
    13 years 8 months ago
    Similarity, Uncertainty and Case-Based Reasoning in Patdex
    Download  www.idi.ntnu.no
    Michael M. Richter, Stefan Wess
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    74views Applied Computing» more  BIRTHDAY 1991»
    The Markgraf Karl Refutation Procedure
    13 years 8 months ago
    The Markgraf Karl Refutation Procedure
    Download  www.pms.ifi.lmu.de
    The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
    Hans Jürgen Ohlbach, Jörg H. Siekmann
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    81views Applied Computing» more  BIRTHDAY 1991»
    Subsumption, a Sometimes Undervalued Procedure
    13 years 8 months ago
    Subsumption, a Sometimes Undervalued Procedure
    Download  www.worldscibooks.com
    Larry Wos, Ross A. Overbeek, Ewing L. Lusk
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    97views Applied Computing» more  BIRTHDAY 1991»
    Modal Logic Should Say More Than It Does
    13 years 8 months ago
    Modal Logic Should Say More Than It Does
    Download  comet.lehman.cuny.edu
    First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
    Melvin Fitting
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    94views Applied Computing» more  BIRTHDAY 1991»
    A Science of Reasoning
    13 years 8 months ago
    A Science of Reasoning
    Download  homepages.inf.ed.ac.uk
    Alan Bundy
    claim paper
    Read More »
    BIRTHDAY
    1991
    Springer
    118views Applied Computing» more  BIRTHDAY 1991»
    A Biographical Sketch of W. W. Bledsoe
    13 years 8 months ago
    A Biographical Sketch of W. W. Bledsoe
    Download  userweb.cs.utexas.edu
    Anne Olivia Boyer, Robert S. Boyer
    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.