Sciweavers

    1604 search results - page 141 / 321
    » Development Separation in Lambda-Calculus
    Sort
    View
    AAAI
    1996
    130views Intelligent Agents» more  AAAI 1996»
    Reasoning about Continuous Processes
    13 years 11 months ago
    Reasoning about Continuous Processes
    Download  cgi.cse.unsw.edu.au
    Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
    Christoph S. Herrmann, Michael Thielscher
    claim paper
    Read More »
    IJCAI
    1989
    155views Artificial Intelligence» more  IJCAI 1989»
    A Problem Space Approach to Expert System Specification
    13 years 11 months ago
    A Problem Space Approach to Expert System Specification
    Download  dli.iiit.ac.in
    One view of expert system development separates the endeavor into two parts. First, a domain expert, with the aid of a knowledge engineer, articulates a procedure for performing t...
    Gregg Yost, Allen Newell
    claim paper
    Read More »
    WCE
    2007
    123views Electrical And Computer Engi...» more  WCE 2007»
    A Note on Tornado Diagrams in Interval Decision Analysis
    13 years 11 months ago
    A Note on Tornado Diagrams in Interval Decision Analysis
    Download  www.iaeng.org
    —The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
    Jim Idefeldt, Mats Danielson
    claim paper
    Read More »
    WCET
    2007
    110views Software Engineering» more  WCET 2007»
    WCET Analysis: The Annotation Language Challenge
    13 years 11 months ago
    WCET Analysis: The Annotation Language Challenge
    Download  www.vmars.tuwien.ac.at
    Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
    Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...
    claim paper
    Read More »
    CIDR
    2009
    102views Algorithms» more  CIDR 2009»
    Why Did My Query Slow Down
    13 years 11 months ago
    Why Did My Query Slow Down
    Download  www.aameeksingh.com
    Enterprise environments have isolated teams responsible separately for database management and the management of underlying networkattached server-storage infrastructure (referred...
    Nedyalko Borisov, Sandeep Uttamchandani, Ramani Ro...
    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.