Sciweavers

    1883 search results - page 226 / 377
    » Ordered theta graphs
    Sort
    View
    AGP
    1994
    IEEE
    115views Artificial Intelligence» more  AGP 1994»
    What the Event Calculus actually does, and how to do it efficiently
    14 years 1 months ago
    What the Event Calculus actually does, and how to do it efficiently
    Download  www.qatar.cmu.edu
    Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
    Iliano Cervesato, Luca Chittaro, Angelo Montanari
    claim paper
    Read More »
    BIRTHDAY
    2008
    Springer
    176views Applied Computing» more  BIRTHDAY 2008»
    AND/OR Multi-valued Decision Diagrams for Constraint Networks
    13 years 11 months ago
    AND/OR Multi-valued Decision Diagrams for Constraint Networks
    Download  research.microsoft.com
    The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
    Robert Mateescu, Rina Dechter
    claim paper
    Read More »
    CAV
    2008
    Springer
    96views Hardware» more  CAV 2008»
    Implied Set Closure and Its Application to Memory Consistency Verification
    13 years 11 months ago
    Implied Set Closure and Its Application to Memory Consistency Verification
    Download  www.cse.iitk.ac.in
    Hangal et. al. [3] have developed a procedure to check if an instance of the execution of a shared memory multiprocessor program, is consistent with the Total Store Order (TSO) mem...
    Surender Baswana, Shashank K. Mehta, Vishal Powar
    claim paper
    Read More »
    CASCON
    1996
    126views Education» more  CASCON 1996»
    Inter-class testing of O-O software in the presence of polymorphism
    13 years 11 months ago
    Inter-class testing of O-O software in the presence of polymorphism
    Download  www.cs.ubc.ca
    This paper1 describes an algorithm for testing polymorphic interactions between classes in object-oriented (O-O) software. We propose an Augmented Object Relationship Diagram (AOR...
    Amit M. Paradkar
    claim paper
    Read More »
    UAI
    1996
    147views Artificial Intelligence» more  UAI 1996»
    An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits
    13 years 11 months ago
    An evaluation of structural parameters for probabilistic reasoning: Results on benchmark circuits
    Download  www.ics.uci.edu
    Many algorithms for processing probabilistic networks are dependent on the topological properties of the problem's structure. Such algorithmse.g., clustering, conditioning ar...
    Yousri El Fattah, Rina Dechter
    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.