4099 search results - page 739 / 820 » A Framework for Interactive Proof |
130
click to vote
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
150
click to vote
DAGM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
121
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Comparative genomics has become a significant research area in recent years, following the availability of a number of sequenced genomes. The comparison of genomes is ...
123
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
123
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...