Sciweavers

66 search results - page 1 / 14
» The Complexity of Checking Consistency of Pedigree Informati...
Sort
View
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
13 years 4 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
13 years 9 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
FASE
2004
Springer
13 years 10 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
BMCBI
2008
175views more  BMCBI 2008»
13 years 5 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