DocumentCode
2208230
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
fYear
2003
fDate
6-10 Oct. 2003
Firstpage
337
Lastpage
342
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
ISSN
1938-4300
Print_ISBN
0-7695-2035-9
Type
conf
DOI
10.1109/ASE.2003.1240333
Filename
1240333
Link To Document