Sciweavers

10997 search results - page 22 / 2200
» On the Structure of Complete Sets
Sort
View
LPNMR
2005
Springer
14 years 3 months ago
Loops: Relevant or Redundant?
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
Martin Gebser, Torsten Schaub
BMCBI
2005
119views more  BMCBI 2005»
13 years 9 months ago
GASH: An improved algorithm for maximizing the number of equivalent residues between two protein structures
Background: We introduce GASH, a new, publicly accessible program for structural alignment and superposition. Alignments are scored by the Number of Equivalent Residues (NER), a q...
Daron M. Standley, Hiroyuki Toh, Haruki Nakamura
CORR
2008
Springer
93views Education» more  CORR 2008»
13 years 10 months ago
Structural aspects of tilings
In this paper, we study the structure of the set of tilings produced by any given tile-set. For better understanding this structure, we address the set of finite patterns that each...
Alexis Ballier, Bruno Durand, Emmanuel Jeandel
ICDM
2008
IEEE
96views Data Mining» more  ICDM 2008»
14 years 4 months ago
Filling in the Blanks - Krimp Minimisation for Missing Data
Many data sets are incomplete. For correct analysis of such data, one can either use algorithms that are designed to handle missing data or use imputation. Imputation has the bene...
Jilles Vreeken, Arno Siebes
ACL
1989
13 years 11 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker