Sciweavers

66 search results - page 1 / 14
» The Complexity of Checking Consistency of Pedigree Informati...
Sort
View
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
14 years 9 months ago
On the Complexity of Verifying Consistency of XML Specifications
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
Marcelo Arenas, Wenfei Fan, Leonid Libkin
ECAI
2000
Springer
15 years 1 months ago
A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm
Abstract. In constraint networks, the efficiency of a search algorithm is strongly related to the local consistency maintained during search. For a long time, it has been consider...
Romuald Debruyne
84
Voted
FASE
2004
Springer
15 years 2 months ago
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
Alexander Egyed
109
Voted
BMCBI
2008
175views more  BMCBI 2008»
14 years 9 months ago
Comprehensive inventory of protein complexes in the Protein Data Bank from consistent classification of interfaces
Background: Protein-protein interactions are ubiquitous and essential for all cellular processes. High-resolution X-ray crystallographic structures of protein complexes can reveal...
Andrew J. Bordner, Andrey A. Gorin