Sciweavers

1431 search results - page 101 / 287
» The complexity of random ordered structures
Sort
View
IANDC
2006
101views more  IANDC 2006»
15 years 3 months ago
Mind change efficient learning
This paper studies efficient learning with respect to mind changes. Our starting point is the idea that a learner that is efficient with respect to mind changes minimizes mind cha...
Wei Luo, Oliver Schulte
BMCBI
2007
153views more  BMCBI 2007»
15 years 3 months ago
Can Clustal-style progressive pairwise alignment of multiple sequences be used in RNA secondary structure prediction?
Background: In ribonucleic acid (RNA) molecules whose function depends on their final, folded three-dimensional shape (such as those in ribosomes or spliceosome complexes), the se...
Amelia B. Bellamy-Royds, Marcel Turcotte
RECOMB
2006
Springer
16 years 3 months ago
A Parameterized Algorithm for Protein Structure Alignment
This paper proposes a parameterized algorithm for aligning two protein structures, in the case where one protein structure is represented by a contact map graph and the other by a ...
Jinbo Xu, Feng Jiao, Bonnie Berger
BMCBI
2008
145views more  BMCBI 2008»
15 years 3 months ago
Directed acyclic graph kernels for structural RNA analysis
Background: Recent discoveries of a large variety of important roles for non-coding RNAs (ncRNAs) have been reported by numerous researchers. In order to analyze ncRNAs by kernel ...
Kengo Sato, Toutai Mituyama, Kiyoshi Asai, Yasubum...
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 28 days ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...