loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th IEEE International Conference on Automated Software Engineering (ASE'03)
Applying AutoBayes to the Analysis of Planetary Nebulae Images
Montreal, Quebec, Canada
October 06-October 10
ISBN: 0-7695-2035-9
ASCII Text
x 
 
Bernd Fischer, Johann Schumann, "Applying AutoBayes to the Analysis of Planetary Nebulae Images," Automated Software Engineering, International Conference on, pp. 337, 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2003.1240333,
author = {Bernd Fischer and Johann Schumann},
title = {Applying AutoBayes to the Analysis of Planetary Nebulae Images},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2003},
issn = {1527-1366},
pages = {337},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240333},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Applying AutoBayes to the Analysis of Planetary Nebulae Images
SN - 1527-1366
SP
EP
A1 - Bernd Fischer,
A1 - Johann Schumann,
PY - 2003
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Bernd Fischer, RIACS / NASA Ames Research Center
Johann Schumann, RIACS / NASA Ames Research Center
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.
Citation:
Bernd Fischer, Johann Schumann, "Applying AutoBayes to the Analysis of Planetary Nebulae Images," ase, pp.337, 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.