1507 search results - page 150 / 302 » Separating Complexity Classes Using Structural Properties |
173
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
158
Voted
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
We present a new brain segmentation framework which we apply to T1-weighted magnetic resonance image segmentation. The innovation of the algorithm in comparison to the state-of-the...
163
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...
155
click to vote
BICOB
2010
Springer
15 years 3 months ago
2010
Springer
Fold recognition is a key problem in computational biology that involves classifying protein sharing structural similarities into classes commonly known as "folds". Rece...
150
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...