Sciweavers

4084 search results - page 121 / 817
» Constraints in spatial structures
Sort
View
RECOMB
2004
Springer
16 years 5 months ago
Structured motifs search
In this paper we describe an algorithm for the localization of structured models, i.e. sequences of (simple) motifs and distance constraints. It basically combines standard patter...
Alberto Policriti, Nicola Vitacolonna, Michele Mor...
CORR
2004
Springer
176views Education» more  CORR 2004»
15 years 4 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
137
Voted
AAAI
1997
15 years 6 months ago
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure
Constraint satisfaction research has focussed on consistency checking using k-consistency and its variations such as arc-consistency, and path-consistency. We define a new form of...
Daya Ram Gaur, W. Ken Jackson, William S. Havens
CP
2004
Springer
15 years 8 months ago
Unary Resource Constraint with Optional Activities
Scheduling is one of the most successful application areas of constraint programming mainly thanks to special global constraints designed to model resource restrictions. Among thes...
Petr Vilím, Roman Barták, Ondrej Cep...
COLING
2000
15 years 6 months ago
Planning texts by constraint satisfaction
A method is de.scribed by which a rhetoricalstructure tree can be realized by a text structure made up of sections, paragraphs, sentences, vertical lists, mid other textual patter...
Richard Power