Sciweavers

    CONSTRAINTS
    2008
    132views more  CONSTRAINTS 2008»
    Essence : A constraint language for specifying combinatorial problems
    13 years 8 months ago
    Essence : A constraint language for specifying combinatorial problems
    Download  www.cs.york.ac.uk
    Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
    Alan M. Frisch, Warwick Harvey, Christopher Jeffer...
    claim paper
    Read More »
    CONSTRAINTS
    2008
    117views more  CONSTRAINTS 2008»
    Domain Specific High-Level Constraints for User Interface Layout
    13 years 8 months ago
    Domain Specific High-Level Constraints for User Interface Layout
    Download  www.crt.umontreal.ca
    We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
    Christof Lutteroth, Robert Strandh, Gerald Weber
    claim paper
    Read More »
    CONSTRAINTS
    2008
    70views more  CONSTRAINTS 2008»
    Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
    13 years 8 months ago
    Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
    Download  www.crt.umontreal.ca
    Alan M. Frisch, Ian Miguel
    claim paper
    Read More »
    CONSTRAINTS
    2008
    90views more  CONSTRAINTS 2008»
    Combining Tree Partitioning, Precedence, and Incomparability Constraints
    13 years 8 months ago
    Combining Tree Partitioning, Precedence, and Incomparability Constraints
    Download  www.crt.umontreal.ca
    The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...
    Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
    claim paper
    Read More »
    CONSTRAINTS
    2008
    138views more  CONSTRAINTS 2008»
    Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
    13 years 8 months ago
    Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
    Download  www.crt.umontreal.ca
    Submodular function minimization is a polynomially-solvable combinatorial problem. Unfortunately the best known general-purpose algorithms have high-order polynomial time complexi...
    Martin C. Cooper
    claim paper
    Read More »
    CONSTRAINTS
    2008
    109views more  CONSTRAINTS 2008»
    The Design of the Zinc Modelling Language
    13 years 8 months ago
    The Design of the Zinc Modelling Language
    Download  www.valgrind.org
    Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
    Kim Marriott, Nicholas Nethercote, Reza Rafeh, Pet...
    claim paper
    Read More »
    CONSTRAINTS
    2008
    95views more  CONSTRAINTS 2008»
    A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints
    13 years 8 months ago
    A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints
    Download  www.crt.umontreal.ca
    Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven...
    claim paper
    Read More »
    CONSTRAINTS
    2008
    70views more  CONSTRAINTS 2008»
    Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
    13 years 8 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 »
    CONSTRAINTS
    2008
    79views more  CONSTRAINTS 2008»
    Expressive power and abstraction in Essence
    13 years 8 months ago
    Expressive power and abstraction in Essence
    Download  www.cs.sfu.ca
    David G. Mitchell, Eugenia Ternovska
    claim paper
    Read More »
    CONSTRAINTS
    2008
    95views more  CONSTRAINTS 2008»
    Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
    13 years 8 months ago
    Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
    Download  www.bioinf.uni-freiburg.de
    Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
    Sebastian Will, Anke Busch, Rolf Backofen
    claim paper
    Read More »
    12next ›last »
    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.