Sciweavers

    5378 search results - page 993 / 1076
    » Base Logics in Argumentation
    Sort
    View
    IJAIT
    2006
    106views more  IJAIT 2006»
    An Empirical Evaluation of Automated Theorem Provers in Software Certification
    13 years 8 months ago
    An Empirical Evaluation of Automated Theorem Provers in Software Certification
    Download  ti.arc.nasa.gov
    We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
    Ewen Denney, Bernd Fischer 0002, Johann Schumann
    claim paper
    Read More »
    IJVR
    2006
    178views more  IJVR 2006»
    Scene Synchronization in Close Coupled World Representations Using SCIVE
    13 years 8 months ago
    Scene Synchronization in Close Coupled World Representations Using SCIVE
    Download  trinity.inf.uni-bayreuth.de
    This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
    Marc Erich Latoschik, Christian Fröhlich, Ale...
    claim paper
    Read More »
    JSS
    2008
    136views more  JSS 2008»
    Specification, decomposition and agent synthesis for situation-aware service-based systems
    13 years 8 months ago
    Specification, decomposition and agent synthesis for situation-aware service-based systems
    Download  dpse.eas.asu.edu
    Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
    Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
    claim paper
    Read More »
    DKE
    2007
    131views more  DKE 2007»
    Reasoning and change management in modular ontologies
    13 years 8 months ago
    Reasoning and change management in modular ontologies
    Download  ki.informatik.uni-mannheim.de
    ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
    Heiner Stuckenschmidt, Michel C. A. Klein
    claim paper
    Read More »
    LOGCOM
    2008
    106views more  LOGCOM 2008»
    Reinforcement Belief Revision
    13 years 8 months ago
    Reinforcement Belief Revision
    Download  cgi.cse.unsw.edu.au
    The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
    Yi Jin, Michael Thielscher
    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.