Sciweavers

10997 search results - page 319 / 2200
» On the Structure of Complete Sets
Sort
View
FMSD
2006
77views more  FMSD 2006»
15 years 6 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
NAR
2007
136views more  NAR 2007»
15 years 6 months ago
DBAli tools: mining the protein structure space
The DBAli tools use a comprehensive set of structural alignments in the DBAli database to leverage the structural information deposited in the Protein Data Bank (PDB). These tools...
Marc A. Martí-Renom, Ursula Pieper, Mallur ...
156
Voted
JGT
2008
107views more  JGT 2008»
15 years 6 months ago
On planar intersection graphs with forbidden subgraphs
Let C be a family of n compact connected sets in the plane, whose intersection graph G(C) has no complete bipartite subgraph with k vertices in each of its classes. Then G(C) has ...
János Pach, Micha Sharir
RSA
2002
87views more  RSA 2002»
15 years 6 months ago
Inexpensive d-dimensional matchings
: Suppose that independent U 0 1 weights are assigned to the d 2 n2 edges of the complete d-partite graph with n vertices in each of the d = maximal independent sets. Then the expe...
Bae-Shi Huang, Ljubomir Perkovic, Eric Schmutz
SPIRE
2005
Springer
16 years 9 days ago
An Edit Distance Between RNA Stem-Loops
We introduce the notion of conservative edit distance and mapping between two RNA stem-loops. We show that unlike the general edit distance between RNA secondary structures, the co...
Valentin Guignon, Cedric Chauve, Sylvie Hamel