Sciweavers

    2911 search results - page 53 / 583
    » A Logic of Graph Constraints
    Sort
    View
    HEURISTICS
    2002
    62views more  HEURISTICS 2002»
    Soft Constraint Logic Programming and Generalized Shortest Path Problems
    15 years 3 months ago
    Soft Constraint Logic Programming and Generalized Shortest Path Problems
    Download  www.dsi.unive.it
    Stefano Bistarelli, Ugo Montanari, Francesca Rossi
    claim paper
    Read More »
    INFORMS
    2002
    40views more  INFORMS 2002»
    Logic, Optimization, and Constraint Programming
    15 years 3 months ago
    Logic, Optimization, and Constraint Programming
    Download  wpweb2.tepper.cmu.edu
    John N. Hooker
    claim paper
    Read More »
    CORR
    2010
    Springer
    70views Education» more  CORR 2010»
    Bounded Reachability for Temporal Logic over Constraint Systems
    15 years 2 months ago
    Bounded Reachability for Temporal Logic over Constraint Systems
    Download  www.cs.unicam.it
    Marcello M. Bersani, Achille Frigeri, Angelo Morze...
    claim paper
    Read More »
    LPAR
    2010
    Springer
    123views Automated Reasoning» more  LPAR 2010»
    Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
    15 years 1 months ago
    Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
    Download  www.cs.nmsu.edu
    Gourinath Banda, John P. Gallagher
    claim paper
    Read More »
    IJSSE
    2011
    127views more  IJSSE 2011»
    A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
    14 years 11 months ago
    A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
    Download  staff.scm.uws.edu.au
    The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
    Sean Policarpio, Yan Zhang
    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.