Sciweavers

    2291 search results - page 409 / 459
    » Representational Reasoning and Verification
    Sort
    View
    IJCAI
    1993
    89views Artificial Intelligence» more  IJCAI 1993»
    Generalization of the Dempster-Shafer Theory
    13 years 9 months ago
    Generalization of the Dempster-Shafer Theory
    Download  dli.iiit.ac.in
    The Dempster-Shafer theory gives a solid basis for reasoning applications characterized by uncertainty. A key feature of the theory is that propositions are represented as subsets...
    J. W. Guan, David A. Bell
    claim paper
    Read More »
    ISMB
    1993
    110views Computational Biology» more  ISMB 1993»
    Protein Structure Prediction: Selecting Salient Features from Large Candidate Pools
    13 years 9 months ago
    Protein Structure Prediction: Selecting Salient Features from Large Candidate Pools
    Download  www.aaai.org
    Weintroduce a parallel approach, "DT-SELECT," for selecting features used by inductive learning algorithms to predict protein secondary structure. DT-SELECTis able to ra...
    Kevin J. Cherkauer, Jude W. Shavlik
    claim paper
    Read More »
    SEC
    1996
    171views Security Privacy» more  SEC 1996»
    Intention modelling: approximating computer user intentions for detection and prediction of intrusions
    13 years 9 months ago
    Intention modelling: approximating computer user intentions for detection and prediction of intrusions
    Download  www.syros.aegean.gr
    This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
    Thomas Spyrou, John Darzentas
    claim paper
    Read More »
    AAAI
    1990
    89views Intelligent Agents» more  AAAI 1990»
    QPC: A Compiler from Physical Models into Qualitative Differential Equations
    13 years 8 months ago
    QPC: A Compiler from Physical Models into Qualitative Differential Equations
    Download  www.qrg.northwestern.edu
    Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
    James M. Crawford, Adam Farquhar, Benjamin Kuipers
    claim paper
    Read More »
    AAAI
    1990
    185views Intelligent Agents» more  AAAI 1990»
    The Intelligent Database Interface: Integrating AI and Database Systems
    13 years 8 months ago
    The Intelligent Database Interface: Integrating AI and Database Systems
    Download  www.cs.umbc.edu
    The Intelligent Database Interface (IDI) is a cache-based interface that is designed to provide Artificial Intelligence systems with efficient access to one or more databases on o...
    Donald P. McKay, Timothy W. Finin, Anthony B. O'Ha...
    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.