Sciweavers

    63 search results - page 11 / 13
    » Logical settings for concept learning from incomplete exampl...
    Sort
    View
    VLSID
    2008
    IEEE
    122views VLSI» more  VLSID 2008»
    A Module Checking Based Converter Synthesis Approach for SoCs
    14 years 6 months ago
    A Module Checking Based Converter Synthesis Approach for SoCs
    Download  www.cs.iastate.edu
    Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
    Roopak Sinha, Partha S. Roop, Samik Basu
    claim paper
    Read More »
    CISSE
    2008
    Springer
    104views Software Engineering» more  CISSE 2008»
    From Constraints to Resolution Rules Part I : conceptual framework
    13 years 8 months ago
    From Constraints to Resolution Rules Part I : conceptual framework
    Download  www-lor.int-evry.fr
    : Many real world problems appear naturally as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two ...
    Denis Berthier
    claim paper
    Read More »
    CSCLP
    2008
    Springer
    258views Artificial Intelligence» more  CSCLP 2008»
    From Rules to Constraint Programs with the Rules2CP Modelling Language
    13 years 8 months ago
    From Rules to Constraint Programs with the Rules2CP Modelling Language
    Download  contraintes.inria.fr
    In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
    François Fages, Julien Martin
    claim paper
    Read More »
    DLOG
    2003
    152views Automated Reasoning» more  DLOG 2003»
    Incremental Query Answering for Implementing Document Retrieval Services
    13 years 7 months ago
    Incremental Query Answering for Implementing Document Retrieval Services
    Download  sunsite.informatik.rwth-aachen.de
    Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
    Volker Haarslev, Ralf Möller
    claim paper
    Read More »
    FLAIRS
    2007
    243views Artificial Intelligence» more  FLAIRS 2007»
    Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts
    13 years 8 months ago
    Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts
    Download  www.aaai.org
    The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
    Brahim Djioua, Jean-Pierre Desclés
    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.