Sciweavers

22128 search results - page 462 / 4426
» Research in Structural Computing
Sort
View
RECOMB
1998
Springer
15 years 11 months ago
A polyhedral approach to RNA sequence structure alignment
Ribonucleic acid (RNA) is a polymer composed of four bases denoted A, C, G, and U. It is a generally single-stranded molecule where the bases form hydrogen bonds within the same m...
Hans-Peter Lenhof, Knut Reinert, Martin Vingron
ECCV
2004
Springer
16 years 9 months ago
Steering in Scale Space to Optimally Detect Image Structures
Detecting low-level image features such as edges and ridges with spatial filters is improved if the scale of the features are known a priori. Scale-space representations and wavele...
Jeffrey Ng, Anil A. Bharath
LICS
2008
IEEE
16 years 1 months ago
Correctness of Multiplicative Additive Proof Structures is NL-Complete
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
Paulin Jacobé de Naurois, Virgile Mogbil
JCSS
2007
75views more  JCSS 2007»
15 years 7 months ago
Undecidability of the structure of the Solovay degrees of c.e. reals
We show that the elementary theory of the structure of the Solovay degrees of computably enumerable reals is undecidable.
Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey L...
AINA
2005
IEEE
16 years 25 days ago
Dynamic Key Generations for Secret Sharing in Access Structures
In a secret sharing scheme based upon access structures, each group has an authorization and only the participants who stayed in an authorized access structure can recover the sec...
Chu-Hsing Lin, Wei Lee, Chien-Sheng Chen