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

Meta: Avaliacao最新文献

筛选
英文 中文
Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection 第二届ACM SIGPLAN元编程技术与反思国际研讨会论文集
Meta: Avaliacao Pub Date : 2017-01-01 DOI: 10.1145/3141517
{"title":"Proceedings of the 2nd ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection","authors":"","doi":"10.1145/3141517","DOIUrl":"https://doi.org/10.1145/3141517","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"29 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72520643","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
Towards Automated Reasoning on the Properties of Numerical Constraints 关于数值约束性质的自动推理
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_4
L. Bordeaux, É. Monfroy, F. Benhamou
{"title":"Towards Automated Reasoning on the Properties of Numerical Constraints","authors":"L. Bordeaux, É. Monfroy, F. Benhamou","doi":"10.1007/3-540-36607-5_4","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_4","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"19 1","pages":"47-61"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81204644","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
POOC: A Platform for Object-Oriented Constraint Programming 面向对象约束编程的平台
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_12
H. Schlenker, Georg Ringwelski
{"title":"POOC: A Platform for Object-Oriented Constraint Programming","authors":"H. Schlenker, Georg Ringwelski","doi":"10.1007/3-540-36607-5_12","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_12","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"27 1","pages":"159-170"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89247274","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}
引用次数: 17
A Note on Redundant Rules in Rule-Based Constraint Programming 基于规则的约束规划中冗余规则的注解
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_8
S. Brand
{"title":"A Note on Redundant Rules in Rule-Based Constraint Programming","authors":"S. Brand","doi":"10.1007/3-540-36607-5_8","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_8","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"12 1","pages":"109-120"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87493448","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
Computing Explanations and Implications in Preference-Based Configurators 基于偏好的配置器中的计算解释和含义
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_6
Eugene C. Freuder, C. Likitvivatanavong, M. Moretti, F. Rossi, R. Wallace
{"title":"Computing Explanations and Implications in Preference-Based Configurators","authors":"Eugene C. Freuder, C. Likitvivatanavong, M. Moretti, F. Rossi, R. Wallace","doi":"10.1007/3-540-36607-5_6","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_6","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"8 1","pages":"76-92"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79917236","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
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables 0/1变量约束满足问题的编码研究
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_9
P. Prosser, E. Selensky
{"title":"A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables","authors":"P. Prosser, E. Selensky","doi":"10.1007/3-540-36607-5_9","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_9","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"267 1","pages":"121-131"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73327894","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
Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems 约束处理改进了交互式专家系统的表达能力和推理能力
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_7
J. Bowen
{"title":"Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems","authors":"J. Bowen","doi":"10.1007/3-540-36607-5_7","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_7","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"19 1","pages":"93-108"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84816419","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
A Coordination-Based Framework for Distributed Constraint Solving 基于协调的分布式约束求解框架
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_13
P. Zoeteweij
{"title":"A Coordination-Based Framework for Distributed Constraint Solving","authors":"P. Zoeteweij","doi":"10.1007/3-540-36607-5_13","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_13","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"40 1","pages":"171-184"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81866782","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
Domain-Heuristics for Arc-Consistency Algorithms 弧一致性算法的域启发式
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_5
M. Dongen
{"title":"Domain-Heuristics for Arc-Consistency Algorithms","authors":"M. Dongen","doi":"10.1007/3-540-36607-5_5","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_5","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"6 1","pages":"62-75"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79112325","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}
引用次数: 5
CGRASS: A System for Transforming Constraint Satisfaction Problems CGRASS:一个转化约束满足问题的系统
Meta: Avaliacao Pub Date : 2002-06-19 DOI: 10.1007/3-540-36607-5_2
Alan M. Frisch, Ian Miguel, T. Walsh
{"title":"CGRASS: A System for Transforming Constraint Satisfaction Problems","authors":"Alan M. Frisch, Ian Miguel, T. Walsh","doi":"10.1007/3-540-36607-5_2","DOIUrl":"https://doi.org/10.1007/3-540-36607-5_2","url":null,"abstract":"","PeriodicalId":38836,"journal":{"name":"Meta: Avaliacao","volume":"14 1","pages":"15-30"},"PeriodicalIF":0.0,"publicationDate":"2002-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89357292","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}
引用次数: 48
首页 上一页 下一页 尾页
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学术官方微信