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

Meta: Avaliacao最新文献

筛选
英文 中文
Abstract Verification and Debugging of Constraint Logic Programs 约束逻辑程序的验证与调试
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_1
M. Hermenegildo, G. Puebla, F. Bueno, P. López-García
{"title":"Abstract Verification and Debugging of Constraint Logic Programs","authors":"M. Hermenegildo, G. Puebla, F. Bueno, P. López-García","doi":"10.1007/3-540-36607-5_1","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_1","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74988890","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}
引用次数: 11
Visopt ShopFloor: Going Beyond Traditional Scheduling Visopt车间:超越传统调度
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_14
R. Barták
{"title":"Visopt ShopFloor: Going Beyond Traditional Scheduling","authors":"R. Barták","doi":"10.1007/3-540-36607-5_14","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_14","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81241785","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
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms 无良记录对DPLL-CBJ SAT算法的影响
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_11
I. Lynce, Joao Marques-Silva
{"title":"The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms","authors":"I. Lynce, Joao Marques-Silva","doi":"10.1007/3-540-36607-5_11","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_11","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80848125","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}
引用次数: 16
Interchangeability in Soft CSPs 软csp中的互换性
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_3
Stefano Bistarelli, B. Faltings, N. Neagu
{"title":"Interchangeability in Soft CSPs","authors":"Stefano Bistarelli, B. Faltings, N. Neagu","doi":"10.1007/3-540-36607-5_3","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_3","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75661411","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}
引用次数: 13
A Local Search Algorithm for Balanced Incomplete Block Designs 平衡不完全块设计的局部搜索算法
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_10
S. Prestwich
{"title":"A Local Search Algorithm for Balanced Incomplete Block Designs","authors":"S. Prestwich","doi":"10.1007/3-540-36607-5_10","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_10","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75910955","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}
引用次数: 15
A Basis for a Multi-Level Meta-Logic Programming Language 一种多层次元逻辑编程语言的基础
Meta: Avaliacao Pub Date : 1994-06-20 DOI: 10.1007/3-540-58792-6_17
Jonas Barklund, K. Boberg, Pierangelo Dell'Acqua
{"title":"A Basis for a Multi-Level Meta-Logic Programming Language","authors":"Jonas Barklund, K. Boberg, Pierangelo Dell'Acqua","doi":"10.1007/3-540-58792-6_17","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_17","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76029579","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
An Architecture with Multiple Meta-Levels for the Development of Correct Programs 用于开发正确程序的具有多个元层次的体系结构
Meta: Avaliacao Pub Date : 1994-06-20 DOI: 10.1007/3-540-58792-6_19
B. Dunin-Keplicz
{"title":"An Architecture with Multiple Meta-Levels for the Development of Correct Programs","authors":"B. Dunin-Keplicz","doi":"10.1007/3-540-58792-6_19","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_19","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89688785","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
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning 用于推理动态控制的元级体系结构时间语义
Meta: Avaliacao Pub Date : 1994-06-20 DOI: 10.1007/3-540-58792-6_22
Jan Treur
{"title":"Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning","authors":"Jan Treur","doi":"10.1007/3-540-58792-6_22","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_22","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83333219","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}
引用次数: 47
Abstract Debugging of Logic Program 逻辑程序的调试
Meta: Avaliacao Pub Date : 1994-06-20 DOI: 10.1007/3-540-58792-6_27
M. Comini, G. Levi, G. Vitiello
{"title":"Abstract Debugging of Logic Program","authors":"M. Comini, G. Levi, G. Vitiello","doi":"10.1007/3-540-58792-6_27","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_27","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78776601","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}
引用次数: 19
Logic Programs with Tests 带有测试的逻辑程序
Meta: Avaliacao Pub Date : 1994-06-20 DOI: 10.1007/3-540-58792-6_18
Marion Mircheva
{"title":"Logic Programs with Tests","authors":"Marion Mircheva","doi":"10.1007/3-540-58792-6_18","DOIUrl":"https://doi.org/10.1007/3-540-58792-6_18","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74503878","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
首页 上一页 下一页 尾页
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学术官方微信