Sciweavers

1713 search results - page 115 / 343
» Analysis of Procedure Splitability
Sort
View
NAR
2000
128views more  NAR 2000»
13 years 10 months ago
The IMB Jena Image Library of Biological Macromolecules
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...
Jan Reichert, Andreas Jabs, Peter Slickers, Jü...
QEST
2005
IEEE
14 years 4 months ago
Fluid Flow Approximation of PEPA models
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 ...
Jane Hillston
ICPR
2006
IEEE
14 years 12 months ago
Pixel-Accurate Representation and Evaluation of Page Segmentation in Document Images
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 ...
Daniel Keysers, Faisal Shafait, Thomas M. Breuel
CSFW
2010
IEEE
14 years 1 months ago
Automating Open Bisimulation Checking for the Spi Calculus
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...
Alwen Tiu, Jeremy E. Dawson
BMCBI
2010
91views more  BMCBI 2010»
13 years 11 months ago
Algorithm-driven Artifacts in median polish summarization of Microarray data
Background: High-throughput measurement of transcript intensities using Affymetrix type oligonucleotide microarrays has produced a massive quantity of data during the last decade....
Federico M. Giorgi, Anthony M. Bolger, Marc Lohse,...