Sciweavers

1798 search results - page 193 / 360
» A Tree for All Seasons
Sort
View
SAFECOMP
2007
Springer
14 years 3 months ago
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Cho...
BIBE
2006
IEEE
132views Bioinformatics» more  BIBE 2006»
14 years 3 months ago
Simplicity in RNA Secondary Structure Alignment: Towards biologically plausible alignments
Ribonucleic acid (RNA) molecules contain the genetic information that regulates the functions of organisms. Given two different molecules, a preserved function corresponds to a pr...
Rimon Mikhaiel, Guohui Lin, Eleni Stroulia
APPROX
2005
Springer
106views Algorithms» more  APPROX 2005»
14 years 2 months ago
Approximating the Bandwidth of Caterpillars
A caterpillar is a tree in which all vertices of degree three or more lie on one path, called the backbone. We present a polynomial time algorithm that produces a linear arrangeme...
Uriel Feige, Kunal Talwar
XSYM
2005
Springer
154views Database» more  XSYM 2005»
14 years 2 months ago
An Extended Preorder Index for Optimising XPath Expressions
Many of the problems with native XML databases relate to query performance and subsequently, it can be difficult to convince traditional database users of the benefits of using se...
Martin F. O'Connor, Zohra Bellahsene, Mark Roantre...
EXTREME
2004
ACM
14 years 2 months ago
Half-steps toward LMNL
Overlap in markup occurs where some markup structures do not nest, such as where the sentence and phrase boundaries of a poem and the metrical line structure describe different hi...
Wendell Piez