Sciweavers

    41938 search results - page 8241 / 8388
    » Complex Systems Modeling
    Sort
    View
    IJCAI
    2003
    107views Artificial Intelligence» more  IJCAI 2003»
    Abductive Matchmaking using Description Logics
    13 years 11 months ago
    Abductive Matchmaking using Description Logics
    Download  dli.iiit.ac.in
    Motivated by the matchmaking problem in electronic marketplaces, we study abduction in Description Logics. We devise suitable definitions of the problem, and show how they can mod...
    Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
    claim paper
    Read More »
    AAAI
    1998
    121views Intelligent Agents» more  AAAI 1998»
    OKBC: A Programmatic Foundation for Knowledge Base Interoperability
    13 years 11 months ago
    OKBC: A Programmatic Foundation for Knowledge Base Interoperability
    Download  www.aaai.org
    The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
    Vinay K. Chaudhri, Adam Farquhar, Richard Fikes, P...
    claim paper
    Read More »
    AAAI
    1994
    92views Intelligent Agents» more  AAAI 1994»
    Heuristic Harvesting of Information for Case-Based Argument
    13 years 11 months ago
    Heuristic Harvesting of Information for Case-Based Argument
    Download  www.aaai.org
    The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
    Edwina L. Rissland, David B. Skalak, M. Timur Frie...
    claim paper
    Read More »
    ISMB
    1996
    144views Computational Biology» more  ISMB 1996»
    Refining Neural Network Predictions for Helical Transmembrane Proteins by Dynamic Programming
    13 years 11 months ago
    Refining Neural Network Predictions for Helical Transmembrane Proteins by Dynamic Programming
    Download  cubic.bioc.columbia.edu
    For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...
    Burkhard Rost, Rita Casadio, Piero Fariselli
    claim paper
    Read More »
    AAAI
    2008
    155views Intelligent Agents» more  AAAI 2008»
    Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
    13 years 11 months ago
    Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
    Download  www.aaai.org
    In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
    Paul Fodor
    claim paper
    Read More »
    « Prev « First page 8241 / 8388 Last » Next »
    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.