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

IWBS Report最新文献

筛选
英文 中文
Symmetric Coordination: An Alternative Theory of Phrase Structure 对称协调:短语结构的另一种理论
IWBS Report Pub Date : 1995-01-31 DOI: 10.1515/9783110934687
B. Wesche
{"title":"Symmetric Coordination: An Alternative Theory of Phrase Structure","authors":"B. Wesche","doi":"10.1515/9783110934687","DOIUrl":"https://doi.org/10.1515/9783110934687","url":null,"abstract":"This book presents a successful attempt at developing a uniform approach to symmetric coordination phenomena (Phrasal Coordination, Right Node Raising, and Gapping). But the account not only provides a common frame for coordination. In effect, it even provides a common frame for phrasal structures in general, since the proposed direct phrase structure approach is equally valid for both simplex and coordinate structures.","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"47 32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126991835","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}
引用次数: 31
The term retrieval abstract machine 术语检索抽象机
IWBS Report Pub Date : 1992-06-01 DOI: 10.1145/130283.130309
Michael Ley
{"title":"The term retrieval abstract machine","authors":"Michael Ley","doi":"10.1145/130283.130309","DOIUrl":"https://doi.org/10.1145/130283.130309","url":null,"abstract":"Scans through large collections of complex objects often cannot be avoided. Even if sohphisticated indexing mechanisms are provided, it may be necessary to evaluate simple predicates against data stored on disk for filtering. For traditional record oriented data models i/o and buffer management are the main bottlenecks for this operation, the interpretation of data structures is straightforward and usually not an important cost factor. For heterogeneously shaped complex objects it may become a dominant cost factor.\u0000In this paper we demonstrate a technique to make data structure traversal inside of complex objects much cheaper than naive interpretation. We compile navigation necessary to evaluate condition predicates and physical schema information into a program to be executed by a specialized abstract machine. Our approach is demonstrated for the Feature Term Data Model (FTDM), but the technique is applicable to many other complex data models. Main parts of this paper are dedicated to the method we used to design the Term Retrieval Abstract Machine (TRAM) architecture by partial evaluation of a tuned interpreter.","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131296039","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
Improving the Concurrency of Integrity Checks and Write Operations 提高完整性检查和写操作的并发性
IWBS Report Pub Date : 1990-11-01 DOI: 10.1007/3-540-53507-1_82
S. Böttcher
{"title":"Improving the Concurrency of Integrity Checks and Write Operations","authors":"S. Böttcher","doi":"10.1007/3-540-53507-1_82","DOIUrl":"https://doi.org/10.1007/3-540-53507-1_82","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115686710","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
A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation 完整Prolog的逻辑操作语义，第2部分:数据库操作的内置谓词
IWBS Report Pub Date : 1990-08-27 DOI: 10.1007/BFb0029592
E. Börger
{"title":"A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation","authors":"E. Börger","doi":"10.1007/BFb0029592","DOIUrl":"https://doi.org/10.1007/BFb0029592","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133894622","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}
引用次数: 73
Knowledge Representation in LILOG LILOG中的知识表示
IWBS Report Pub Date : 1990-07-01 DOI: 10.1007/3-540-52337-6_22
Udo Pletat, K. Luck
{"title":"Knowledge Representation in LILOG","authors":"Udo Pletat, K. Luck","doi":"10.1007/3-540-52337-6_22","DOIUrl":"https://doi.org/10.1007/3-540-52337-6_22","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129838995","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}
引用次数: 35
Tableau Calculus for Order Sorted Logic 有序逻辑的表演算
IWBS Report Pub Date : 1990-07-01 DOI: 10.1007/3-540-52337-6_18
P. Schmitt, W. Wernecke
{"title":"Tableau Calculus for Order Sorted Logic","authors":"P. Schmitt, W. Wernecke","doi":"10.1007/3-540-52337-6_18","DOIUrl":"https://doi.org/10.1007/3-540-52337-6_18","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"207 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126014111","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
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control 全Prolog的逻辑操作语义。第一部分:选择核心和控制
IWBS Report Pub Date : 1989-10-02 DOI: 10.1007/3-540-52753-2_31
E. Börger
{"title":"A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control","authors":"E. Börger","doi":"10.1007/3-540-52753-2_31","DOIUrl":"https://doi.org/10.1007/3-540-52753-2_31","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115156327","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}
引用次数: 78
A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output 完整序言的逻辑操作语义第三部分:文件、术语、算术和输入输出的内置谓词
IWBS Report Pub Date : 1900-01-01 DOI: 10.1007/978-1-4612-2822-6_2
E. Börger
{"title":"A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output","authors":"E. Börger","doi":"10.1007/978-1-4612-2822-6_2","DOIUrl":"https://doi.org/10.1007/978-1-4612-2822-6_2","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"17 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":"134005500","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
DOMAIN RESTRICTION AND OTHER KINDS OF REFERENCE SET OPERATIONS 域限制和其他类型的引用集操作
IWBS Report Pub Date : 1900-01-01 DOI: 10.1515/thli.1993.19.2-3.129
Rolf Mayer
{"title":"DOMAIN RESTRICTION AND OTHER KINDS OF REFERENCE SET OPERATIONS","authors":"Rolf Mayer","doi":"10.1515/thli.1993.19.2-3.129","DOIUrl":"https://doi.org/10.1515/thli.1993.19.2-3.129","url":null,"abstract":"Cet article concerne la restriction de domaine explicite et implicite au niveau du discours et de la phrase. Il examine en particulier le comportement des marqueurs d'exception allemand comme auer (sauf), et etudie la formation de complement sans marqueur d'exception - die anderen (les autres)","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"39 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120902093","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
Complexity of Logical Decision Problems: An Introduction 逻辑决策问题的复杂性:导论
IWBS Report Pub Date : 1900-01-01 DOI: 10.1007/978-94-011-2496-6_3
E. Börger
{"title":"Complexity of Logical Decision Problems: An Introduction","authors":"E. Börger","doi":"10.1007/978-94-011-2496-6_3","DOIUrl":"https://doi.org/10.1007/978-94-011-2496-6_3","url":null,"abstract":"","PeriodicalId":227437,"journal":{"name":"IWBS Report","volume":"376 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":"132947520","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学术官方微信