11808 search results - page 136 / 2362 » Isometries and Computability Structures |
132
click to vote
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
This talk presents an algorithm to search for all approximate matches of a helix in a genome, where a helix is a combination of sequence and folding constraints. It is a joint wor...
102
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Collective operations on distributed data sets foster a high-level data-parallel programming style that eases many aspects of parallel programming significantly. In this paper we...
149
click to vote
COSIT
1997
Springer
15 years 8 months ago
1997
Springer
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
149
click to vote
TCS
2011
14 years 11 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
111
click to vote
SIAMMAX
2010
14 years 11 months ago
2010
Computational resolution enhancement (superresolution) is generally regarded as a memory intensive process due to the large matrix-vector calculations involved. In this paper, a de...