应用AutoBayes对行星状星云图像进行分析

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. Pub Date : 2003-10-06 DOI:10.1109/ASE.2003.1240333

B. Fischer, J. Schumann

{"title":"应用AutoBayes对行星状星云图像进行分析","authors":"B. Fischer, J. Schumann","doi":"10.1109/ASE.2003.1240333","DOIUrl":null,"url":null,"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.","PeriodicalId":114604,"journal":{"name":"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.","volume":"68 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Applying AutoBayes to the analysis of planetary nebulae images\",\"authors\":\"B. Fischer, J. Schumann\",\"doi\":\"10.1109/ASE.2003.1240333\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":114604,\"journal\":{\"name\":\"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.\",\"volume\":\"68 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2003-10-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASE.2003.1240333\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.2003.1240333","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

我们以一个典型的科学数据分析任务为例，分析哈勃太空望远镜拍摄的行星状星云图像，并描述了如何使用程序合成从高级模型生成必要的分析程序。我们描述了AutoBayes合成系统，讨论了它的完全声明性规范语言，并从科学家的原始分析开始提出了自动程序派生。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Applying AutoBayes to the analysis of planetary nebulae images

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.

自引率

0.00%

发文量