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

In Search of Elegance in the Theory and Practice of Computation最新文献

筛选
英文 中文
Data Quality Problems beyond Consistency and Deduplication 一致性和重复数据删除之外的数据质量问题
In Search of Elegance in the Theory and Practice of Computation Pub Date : 2013-12-01 DOI: 10.1007/978-3-642-41660-6_12
W. Fan, Floris Geerts, Shuai Ma, N. Tang, Wenyuan Yu
{"title":"Data Quality Problems beyond Consistency and Deduplication","authors":"W. Fan, Floris Geerts, Shuai Ma, N. Tang, Wenyuan Yu","doi":"10.1007/978-3-642-41660-6_12","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_12","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132648977","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}
引用次数: 14
First-Order Provenance Games 一阶出处游戏
In Search of Elegance in the Theory and Practice of Computation Pub Date : 2013-09-10 DOI: 10.1007/978-3-642-41660-6_20
Sven Köhler, Bertram Ludäscher, Daniel Zinn
{"title":"First-Order Provenance Games","authors":"Sven Köhler, Bertram Ludäscher, Daniel Zinn","doi":"10.1007/978-3-642-41660-6_20","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_20","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133389228","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}
引用次数: 36
Relational Databases and Bell's Theorem 关系型数据库与贝尔定理
In Search of Elegance in the Theory and Practice of Computation Pub Date : 2012-08-31 DOI: 10.1007/978-3-642-41660-6_2
S. Abramsky
{"title":"Relational Databases and Bell's Theorem","authors":"S. Abramsky","doi":"10.1007/978-3-642-41660-6_2","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_2","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"80 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125890125","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}
引用次数: 44
Incremental Data Fusion Based on Provenance Information 基于来源信息的增量数据融合
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_18
Carmem S. Hara, C. D. Ciferri, R. Ciferri
{"title":"Incremental Data Fusion Based on Provenance Information","authors":"Carmem S. Hara, C. D. Ciferri, R. Ciferri","doi":"10.1007/978-3-642-41660-6_18","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_18","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"25 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":"121143125","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
Hitting Buneman Circles 击中布曼圈
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_13
M. Fourman
{"title":"Hitting Buneman Circles","authors":"M. Fourman","doi":"10.1007/978-3-642-41660-6_13","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_13","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"62 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":"124036909","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
Static Analysis and Query Answering for Incomplete Data Trees with Constraints 带约束的不完全数据树的静态分析与查询回答
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_15
Amélie Gheerbrant, L. Libkin, Juan L. Reutter
{"title":"Static Analysis and Query Answering for Incomplete Data Trees with Constraints","authors":"Amélie Gheerbrant, L. Libkin, Juan L. Reutter","doi":"10.1007/978-3-642-41660-6_15","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_15","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"40 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":"116498847","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
Types, Functional Programming and Atomic Transactions in Hardware Design 硬件设计中的类型、函数式编程和原子事务
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_22
R. Nikhil
{"title":"Types, Functional Programming and Atomic Transactions in Hardware Design","authors":"R. Nikhil","doi":"10.1007/978-3-642-41660-6_22","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_22","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"1 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":"129847515","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}
引用次数: 4
An Abstract, Reusable, and Extensible Programming Language Design Architecture 一个抽象的、可重用的、可扩展的编程语言设计体系结构
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_6
H. Aït-Kaci
{"title":"An Abstract, Reusable, and Extensible Programming Language Design Architecture","authors":"H. Aït-Kaci","doi":"10.1007/978-3-642-41660-6_6","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_6","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"47 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":"134267616","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}
引用次数: 1
A New Framework for Designing Schema Mappings 一个设计模式映射的新框架
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_4
B. Alexe, W. Tan
{"title":"A New Framework for Designing Schema Mappings","authors":"B. Alexe, W. Tan","doi":"10.1007/978-3-642-41660-6_4","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_4","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"26 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":"124777276","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
Tractable Reasoning in Description Logics with Functionality Constraints 具有功能约束的描述逻辑中的可处理推理
In Search of Elegance in the Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-41660-6_8
A. Calí, G. Gottlob, Andreas Pieris
{"title":"Tractable Reasoning in Description Logics with Functionality Constraints","authors":"A. Calí, G. Gottlob, Andreas Pieris","doi":"10.1007/978-3-642-41660-6_8","DOIUrl":"https://doi.org/10.1007/978-3-642-41660-6_8","url":null,"abstract":"","PeriodicalId":152747,"journal":{"name":"In Search of Elegance in the Theory and Practice of Computation","volume":"4 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":"121594257","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}
引用次数: 1
下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信