Abstract | ||
---|---|---|
Fiji is a Java platform widely used by biologists and other experimental scientists to process digital images. In our research, made together with a biologists team, we use Fiji in some pre-processing steps before undertaking a homological digital processing of images. In a previous work, we have formalised the correctness of the programs which use homological techniques to analyse digital images. However, the verification of Fiji's pre-processing step was missed. In this paper, we present a multi-tool approach (based on the combination of Why/Krakatoa, Coq and ACL2) filling this gap. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-39320-4_5 | CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics |
Keywords | DocType | Volume |
java platform,multi-tool strategy,experimental scientist,digital image,biologists team,digital imaging,previous work,pre-processing step,multi-tool approach,homological digital processing,homological technique | Conference | abs/1303.1420 |
Citations | PageRank | References |
1 | 0.35 | 22 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jónathan Heras | 1 | 94 | 23.31 |
Gadea Mata | 2 | 14 | 3.57 |
A. Romero | 3 | 44 | 10.73 |
J. Rubio | 4 | 202 | 31.12 |
Rubén Sáenz | 5 | 1 | 0.35 |