2661 search results - page 460 / 533 » Quantum Complexity Classes |
138
click to vote
ECCC
2007
15 years 22 days ago
2007
We study graph properties which are testable for bounded degree graphs in time independent of the input size. Our goal is to distinguish between graphs having a predetermined grap...
113
Voted
JPDC
2007
15 years 20 days ago
2007
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
101
click to vote
LOGCOM
2007
15 years 20 days ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
122
click to vote
BMCBI
2004
15 years 19 days 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...
107
Voted
AML
1998
15 years 15 days ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...