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
    16 years 7 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 »
    194
    Voted
    FPGA
    1997
    ACM
    127views FPGA» more  FPGA 1997»
    General Modeling and Technology-Mapping Technique for LUT-Based FPGAs
    15 years 11 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 »
    230
    Voted
    TKDE
    2010
    161views more  TKDE 2010»
    A Deductive Spreadsheet System for End Users
    15 years 2 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
    16 years 2 months ago
    Functional Interpretations of Intuitionistic Linear Logic
    Download  www.eecs.qmul.ac.uk
    Gilda Ferreira, Paulo Oliva
    claim paper
    Read More »
    128
    Voted
    FPL
    2005
    Springer
    96views Hardware» more  FPL 2005»
    FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations
    16 years 1 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
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.