Sciweavers

    8766 search results - page 161 / 1754
    » Functional logic programming
    Sort
    View
    CADE
    2001
    Springer
    161views Logical Reasoning» more  CADE 2001»
    NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
    15 years 10 months ago
    NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
    Download  www.cs.uni-potsdam.de
    Christian Anger, Kathrin Konczak, Thomas Linke
    claim paper
    Read More »
    FPGA
    1997
    ACM
    127views FPGA» more  FPGA 1997»
    General Modeling and Technology-Mapping Technique for LUT-Based FPGAs
    15 years 2 months ago
    General Modeling and Technology-Mapping Technique for LUT-Based FPGAs
    Download  www.cecs.uci.edu
    We present a general approach to the FPGA technology mapping problem that applies to any logic block composed of lookup tables LUTs and can yield optimal solutions. The connecti...
    Amit Chowdhary, John P. Hayes
    claim paper
    Read More »
    TKDE
    2010
    161views more  TKDE 2010»
    A Deductive Spreadsheet System for End Users
    14 years 4 months ago
    A Deductive Spreadsheet System for End Users
    Download  www.mendeley.com
    We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-bas...
    Marcelo Tallis, Robert M. Balzer
    claim paper
    Read More »
    CSL
    2009
    Springer
    109views Automated Reasoning» more  CSL 2009»
    Functional Interpretations of Intuitionistic Linear Logic
    15 years 4 months ago
    Functional Interpretations of Intuitionistic Linear Logic
    Download  www.eecs.qmul.ac.uk
    Gilda Ferreira, Paulo Oliva
    claim paper
    Read More »
    FPL
    2005
    Springer
    96views Hardware» more  FPL 2005»
    FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations
    15 years 3 months ago
    FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations
    Download  helios.informatik.uni-kl.de
    Carlos Morra, Jürgen Becker, Mauricio Ayala-R...
    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-2025, USA.