Sciweavers

    111 search results - page 3 / 23
    » tools 1993
    Sort
    View
    LISA
    1993
    84views Operating System» more  LISA 1993»
    Collaborative Networked Communication: MUDs as Systems Tools
    14 years 11 months ago
    Collaborative Networked Communication: MUDs as Systems Tools
    Download  www.usenix.org
    Rémy Evard
    claim paper
    Read More »
    REX
    1993
    121views Logical Reasoning» more  REX 1993»
    Verification Tools for Finite-State Concurrent Systems
    15 years 2 months ago
    Verification Tools for Finite-State Concurrent Systems
    Download  www-2.cs.cmu.edu
    Edmund M. Clarke, Orna Grumberg, David E. Long
    claim paper
    Read More »
    IJCAI
    1993
    79views Artificial Intelligence» more  IJCAI 1993»
    PHI - A Logic-Based Tool for Intelligent Help Systems
    14 years 11 months ago
    PHI - A Logic-Based Tool for Intelligent Help Systems
    Download  dli.iiit.ac.in
    Mathias Bauer, Susanne Biundo, Dietmar Dengler, Ja...
    claim paper
    Read More »
    EXPERT
    2000
    182views more  EXPERT 2000»
    Humanoid Robots: A New Kind of Tool
    14 years 9 months ago
    Humanoid Robots: A New Kind of Tool
    Download  web.cecs.pdx.edu
    In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...
    Bryan Adams, Cynthia Breazeal, Rodney A. Brooks, B...
    claim paper
    Read More »
    SIGMOD
    1993
    ACM
    140views Database» more  SIGMOD 1993»
    Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
    15 years 2 months ago
    Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization
    Download  dna.fernuni-hagen.de
    Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
    Ralf Hartmut Güting
    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-2025, USA.