Sciweavers

Share
CONSTRAINTS
2008
132views more  CONSTRAINTS 2008»
8 years 6 months ago
Essence : A constraint language for specifying combinatorial problems
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...
CONSTRAINTS
2008
117views more  CONSTRAINTS 2008»
8 years 6 months ago
Domain Specific High-Level Constraints for User Interface Layout
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
CONSTRAINTS
2008
90views more  CONSTRAINTS 2008»
8 years 6 months ago
Combining Tree Partitioning, Precedence, and Incomparability Constraints
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
CONSTRAINTS
2008
138views more  CONSTRAINTS 2008»
8 years 6 months ago
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
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
CONSTRAINTS
2008
109views more  CONSTRAINTS 2008»
8 years 6 months ago
The Design of the Zinc Modelling Language
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...
CONSTRAINTS
2008
95views more  CONSTRAINTS 2008»
8 years 6 months ago
A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints
Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven...
CONSTRAINTS
2008
70views more  CONSTRAINTS 2008»
8 years 6 months ago
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation
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
CONSTRAINTS
2008
79views more  CONSTRAINTS 2008»
8 years 6 months ago
Expressive power and abstraction in Essence
David G. Mitchell, Eugenia Ternovska
CONSTRAINTS
2008
95views more  CONSTRAINTS 2008»
8 years 6 months ago
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
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
books