发布求助
文献互助 智能选刊 最新文献

Approaches and Applications of Inductive Programming最新文献

筛选
英文 中文
Enumerating Well-Typed Terms Generically 一般枚举类型良好的术语
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_5
A. R. Yakushev, J. Jeuring
{"title":"Enumerating Well-Typed Terms Generically","authors":"A. R. Yakushev, J. Jeuring","doi":"10.1007/978-3-642-11931-6_5","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_5","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127056471","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Generalisation Operators for Lists Embedded in a Metric Space 嵌入在度量空间中的链表的泛化算子
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_6
V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana
{"title":"Generalisation Operators for Lists Embedded in a Metric Space","authors":"V. Estruch, C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana","doi":"10.1007/978-3-642-11931-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_6","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"211 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121217517","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Automated Method Induction: Functional Goes Object Oriented 自动化方法归纳:功能走向面向对象
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_8
T. Hieber, M. Hofmann
{"title":"Automated Method Induction: Functional Goes Object Oriented","authors":"T. Hieber, M. Hofmann","doi":"10.1007/978-3-642-11931-6_8","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_8","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133094800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Deriving a Relationship from a Single Example 从单个例子中推导关系
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_1
Neil Mitchell
{"title":"Deriving a Relationship from a Single Example","authors":"Neil Mitchell","doi":"10.1007/978-3-642-11931-6_1","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_1","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117122018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Incremental Learning in Inductive Programming 归纳规划中的增量学习
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_4
R. Henderson
{"title":"Incremental Learning in Inductive Programming","authors":"R. Henderson","doi":"10.1007/978-3-642-11931-6_4","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_4","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"151 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129141559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Recent Improvements of MagicHaskeller MagicHaskeller的最新改进
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_9
Susumu Katayama
{"title":"Recent Improvements of MagicHaskeller","authors":"Susumu Katayama","doi":"10.1007/978-3-642-11931-6_9","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_9","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"312 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127762036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Synthesis of Functions Using Generic Programming 使用泛型编程的函数综合
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_2
P. Koopman, M. J. Plasmeijer
{"title":"Synthesis of Functions Using Generic Programming","authors":"P. Koopman, M. J. Plasmeijer","doi":"10.1007/978-3-642-11931-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_2","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123498399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Porting IgorII from Maude to Haskell 将IgorII从Maude移植到Haskell
Approaches and Applications of Inductive Programming Pub Date : 2009-09-04 DOI: 10.1007/978-3-642-11931-6_7
M. Hofmann, E. Kitzelmann, Ute Schmid
{"title":"Porting IgorII from Maude to Haskell","authors":"M. Hofmann, E. Kitzelmann, Ute Schmid","doi":"10.1007/978-3-642-11931-6_7","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6_7","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122920623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers 归纳规划的方法与应用，第三届国际研讨会，2009年9月4日，英国爱丁堡。修改后的论文
Approaches and Applications of Inductive Programming Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-11931-6
Ute Schmid, E. Kitzelmann, R. Plasmeijer, J. Hernández-Orallo
{"title":"Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers","authors":"Ute Schmid, E. Kitzelmann, R. Plasmeijer, J. Hernández-Orallo","doi":"10.1007/978-3-642-11931-6","DOIUrl":"https://doi.org/10.1007/978-3-642-11931-6","url":null,"abstract":"","PeriodicalId":316711,"journal":{"name":"Approaches and Applications of Inductive Programming","volume":"701 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114407060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信