Title :
Applying AutoBayes to the analysis of planetary nebulae images
Author :
Fischer, Bernd ; Schumann, Johann
Author_Institution :
Res. Inst. for Adv. Comput. Sci., NASA Ames Res. Center, Moffett Field, CA, USA
Abstract :
We take a typical scientific data analysis task, the analysis of planetary nebulae images taken by the Hubble Space Telescope, and describe how program synthesis can be used to generate the necessary analysis programs from high-level models. We describe the AutoBayes synthesis system, discuss its fully declarative specification language, and present the automatic program derivation starting with the scientists´ original analysis.
Keywords :
Gaussian processes; astronomy computing; belief networks; image processing; physics computing; planetary nebulae; specification languages; statistical analysis; AutoBayes synthesis system; Bayesian networks; Gaussian model; Hubble Space Telescope; automatic program derivation; code derivation; high-level models; planetary nebulae images; program synthesis; scientific data analysis; specification language; Data analysis; Electronic mail; Hydrogen; Image analysis; Instruments; NASA; Pattern analysis; Specification languages; Telescopes; Uncertainty;
Conference_Titel :
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
Print_ISBN :
0-7695-2035-9
DOI :
10.1109/ASE.2003.1240333
