Sciweavers

    1613 search results - page 26 / 323
    » Functional and Constraint Logic Programming
    Sort
    View
    CONSTRAINTS
    2008
    70views more  CONSTRAINTS 2008»
    Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
    15 years 7 months ago
    Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
    Download  www.crt.umontreal.ca
    We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
    Hadrien Cambazard, Barry O'Sullivan
    claim paper
    Read More »
    ICLP
    2004
    Springer
    191views Automated Reasoning» more  ICLP 2004»
    Applying CLP to Predict Extra-Functional Properties of Component-Based Models
    16 years 10 days ago
    Applying CLP to Predict Extra-Functional Properties of Component-Based Models
    Download  www.irisa.fr
    A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
    Olivier Defour, Jean-Marc Jézéquel, ...
    claim paper
    Read More »
    140
    Voted
    SAC
    2006
    ACM
    140views Applied Computing» more  SAC 2006»
    A constraint logic programming approach to 3D structure determination of large protein complexes
    16 years 27 days ago
    A constraint logic programming approach to 3D structure determination of large protein complexes
    Download  www.brown.edu
    Alessandro Dal Palù, Enrico Pontelli, Jing ...
    claim paper
    Read More »
    WCFLP
    2005
    ACM
    239views Artificial Intelligence» more  WCFLP 2005»
    Constraint logic programming over sets of spatial objects
    16 years 15 days ago
    Constraint logic programming over sets of spatial objects
    Download  indalog.ual.es
    Jesús Manuel Almendros-Jiménez
    claim paper
    Read More »
    AADEBUG
    2000
    Springer
    85views Software Engineering» more  AADEBUG 2000»
    Slicing of Constraint Logic Programs
    15 years 11 months ago
    Slicing of Constraint Logic Programs
    Download  www.ep.liu.se
    Gyöngyi Szilágyi, Tibor Gyimóth...
    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.