Sciweavers

1421 search results - page 16 / 285
» Satisfying KBO Constraints
Sort
View
PVLDB
2008
90views more  PVLDB 2008»
13 years 7 months ago
Generating XML structure using examples and constraints
This paper presents a framework for automatically generating structural XML documents. The user provides a target DTD and an example of an XML document, called a Generate-XML-ByEx...
Sara Cohen
ICTAI
2009
IEEE
13 years 5 months ago
Constraint-Based Evolutionary QoS Adaptation for Power Utility Communication Networks
This paper studies an evolutionary multiobjective optimization algorithm, called EVOLT, which heuristically optimizes QoS (quality of service) in communication networks for electr...
Paskorn Champrasert, Junichi Suzuki, Tetsuo Otani
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 5 months ago
Matching Dependencies with Arbitrary Attribute Values: Semantics, Query Answering and Integrity Constraints
Matching dependencies (MDs) are used to declaratively specify the identification (or matching) of certain attribute values in pairs of database tuples when some similarity conditi...
Jaffer Gardezi, Leopoldo E. Bertossi, Iluju Kiring...
AAAI
2008
13 years 10 months ago
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems
The study of random instances of NP complete and coNP complete problems has had much impact on our understanding of the nature of hard problems. In this work, we initiate an effor...
Yong Gao
AAAI
2000
13 years 9 months ago
Generating Satisfiable Problem Instances
A major difficulty in evaluating incomplete local search style algorithms for constraint satisfaction problems is the need for a source of hard problem instances that are guarante...
Dimitris Achlioptas, Carla P. Gomes, Henry A. Kaut...