1713 search results - page 115 / 343 » Analysis of Procedure Splitability |
101
click to vote
NAR
2000
15 years 2 months ago
2000
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html ) is aimed at a better dissemination of information on three-dimensional biopolymer stru...
162
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
118
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents a new representation and evaluation procedure of page segmentation algorithms and analyzes six widely-used layout analysis algorithms using the procedure. The ...
133
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
113
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: High-throughput measurement of transcript intensities using Affymetrix type oligonucleotide microarrays has produced a massive quantity of data during the last decade....