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

Symposium on Small Systems最新文献

筛选
英文 中文
Fuzzy belief networks 模糊信念网络
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99482
David F. Clark, A. Kandel
{"title":"Fuzzy belief networks","authors":"David F. Clark, A. Kandel","doi":"10.1145/99412.99482","DOIUrl":"https://doi.org/10.1145/99412.99482","url":null,"abstract":"The most common method for knowledge representation in an expert system is the production rule [Waterman 1986]. Unfortunately, the modularity inherent in a rule-based system is limiting, especially in an uncertain environment [Morawski 1989]. A fuzzy belief network (FBN) provides a more holistic, graphical approach and lends itself well to implementation in expert systems on personal and small computers.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"os-33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127865736","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 dynamic memory approach to case based reasoning: AI research on a Macintosh 基于案例推理的动态记忆方法:Macintosh上的人工智能研究
Symposium on Small Systems Pub Date : 1990-02-01 DOI: 10.1145/99412.99450
B. Cuthill, M. Selfridge
{"title":"A dynamic memory approach to case based reasoning: AI research on a Macintosh","authors":"B. Cuthill, M. Selfridge","doi":"10.1145/99412.99450","DOIUrl":"https://doi.org/10.1145/99412.99450","url":null,"abstract":"An important open problem in the field of case-based reasoning is the retrieval of relevant cross-contextual cases. This paper describes an approach to the problem based on Schank's dynamic memory theory of human memory and an implementation of that approach. This system, called RUMPOLE, is implemented on a Macintosh SE and demonstrates the capability of the Macintosh for AI research.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115531583","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
Object-oriented development of integrated programming environments with ASDL 基于ASDL的集成编程环境的面向对象开发
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62456
B. Krämer, H. Schmidt
{"title":"Object-oriented development of integrated programming environments with ASDL","authors":"B. Krämer, H. Schmidt","doi":"10.1145/62453.62456","DOIUrl":"https://doi.org/10.1145/62453.62456","url":null,"abstract":"ASDL is a metalanguage for specifying integrated programming environments as specializations and extensions of a language independent environment kernel. The language combines syntax-directed translation schemes with an object-oriented 'type system. The type system supports data abstraction and multiple inheritance, thus encouraging extensibility, combination and reusability. Translation schemes are identified with generic manipulation operations associated with object types that allow the convenient and concise definition of (a) structural mappings between objects types and (b) message propagation along the structure of objects. Type and scheme definitions are compiled into executable code which is linked to a language independent environment kernel.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114492123","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}
引用次数: 10
Disk referencing patterns in a distributed microcomputer UNIX environment 分布式微机UNIX环境下的磁盘引用模式
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62464
J. Cigas
{"title":"Disk referencing patterns in a distributed microcomputer UNIX environment","authors":"J. Cigas","doi":"10.1145/62453.62464","DOIUrl":"https://doi.org/10.1145/62453.62464","url":null,"abstract":"In this paper we examine the physical disk referencing patterns of a network of homogeneous microcomputers accessing a common, remote file server. Each client executes a simulated workload based on actual measured workloads. The measurements are of the physical referencing patterns, but logical device information is included to allow some analysis at the file system level as well. We examine the correct placement of temporary files and the effect of statically caching common files at the client machines. Through simulations, we also estimate the performance of a dynamic cache to determine its organization, size, and placement.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128579396","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
A user interface for database creation use and maintenance 用于创建、使用和维护数据库的用户界面
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62490
G. Hecker, E. A. Unger
{"title":"A user interface for database creation use and maintenance","authors":"G. Hecker, E. A. Unger","doi":"10.1145/62453.62490","DOIUrl":"https://doi.org/10.1145/62453.62490","url":null,"abstract":"Most users of micro-computers are not professionally trained in computer science and many are in occupations where a form or table is a common way of collecting and maintaining information. The form-based systems and the non-normal form database systems address this interface area, but each has its own limitations either in terms of complexity or applicability or both. A user interface system designed for use on a personal computer, which avoids the limitations of previous systems, has been designed. This paper describes a user interface system which provides for the use of a screen image of a table or form, allows for the creation, storage and manipulation of data in a database which is relational in logical structure through the screen image of the tables or form, and avoids the limitations previously mentioned. The mappings required to move screen images expressed as set relations to the relations in the normalized database are the focus of this paper.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130831800","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
A formalism for the definition of graphical formulas 图解公式定义的一种形式主义
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62460
R. Gabriel
{"title":"A formalism for the definition of graphical formulas","authors":"R. Gabriel","doi":"10.1145/62453.62460","DOIUrl":"https://doi.org/10.1145/62453.62460","url":null,"abstract":"This paper describes a new formalism (the <italic>typed holistic formula definition</italic>) which enables to define two dimensional formula grammars very easily by just drawing a prototype of the desired formula. The formalism is used in a tool called <italic>G<supscrpt>2</supscrpt>F</italic> (An Editor Generator for Two Dimensional Graphical Formulas) the properties of which are also sketched (its main advantage is the possibility to use the editors as interfaces for symbol manipulating systems).","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133917892","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
TALISMAN: a prototype expert system for spelling correction TALISMAN:拼写纠正的原型专家系统
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62476
H. Berghel, Cecily Andreu
{"title":"TALISMAN: a prototype expert system for spelling correction","authors":"H. Berghel, Cecily Andreu","doi":"10.1145/62453.62476","DOIUrl":"https://doi.org/10.1145/62453.62476","url":null,"abstract":"This paper reports on the status of TALISMAN, a logic-based spelling assistance package for MS-DOS microcomputers which is currently being refined and tested in our laboratory. The essence of the package is described, and is contrasted with current products. The uniqueness of the approach lies in the fact that formal definitions of spelling errors are directly encoded into the program. Some recent benchmark results indicate that TALISMAN may actually out-perform competitive products as well as exceed their accuracy and overall effectiveness.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128102322","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
ALIEN: a programming environment generator for personal computers 异形:用于个人电脑的编程环境生成器
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62463
U. Schroeder, A. Spinner
{"title":"ALIEN: a programming environment generator for personal computers","authors":"U. Schroeder, A. Spinner","doi":"10.1145/62453.62463","DOIUrl":"https://doi.org/10.1145/62453.62463","url":null,"abstract":"Alien is a generator for interactive language-specific programming environments. The system makes a language definition environment available to the language definer and supports him with an interactive generator. Using these tools every syntactic unit of a language can be made available. This can be done by a method of stepwise testing, correction and expansion. Fully defined environments can easily be restricted to subsets of a language.\u0000This paper introduces a method making a large software product executable on small UNIX machines as well as a survey of the system's components. These are designed to make the implementation on PCs effective and to develop a powerful generator for programming environments. Therefore the results are of interest to all projects in the programming environment field.\u0000ALIEN has been implemented in C running on Siemens PC-X, PC-X10, PC-MX-2 machines and Atari PC. Implementation on Apollo and SUN workstations is still in progress and on IBM PC is planned.\u0000The project is supported by the Stiftung Volkswagen-werk under grant 1/61 602.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"55 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128067811","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
Partition detection and optimistic commit for dynamically reconfigurable distributed databases 动态可重构分布式数据库的分区检测和乐观提交
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62468
David Wong
{"title":"Partition detection and optimistic commit for dynamically reconfigurable distributed databases","authors":"David Wong","doi":"10.1145/62453.62468","DOIUrl":"https://doi.org/10.1145/62453.62468","url":null,"abstract":"This paper addresses the problem of providing reliability in face of network partitioning for a dynamically reconfigurable distributed database system with an underlying hierarchical network topology. Solutions to the problems of partition detection and the proper termination of transactions are suggested. Passive partition detection protocols designed to handle node failures and connections are presented. The basis for these protocols is the idea of maintaining multiple network servers across the network to ensure communication within any cluster of two nodes. In the process, a network server allocation algorithm is derived to meet this need. This paper also proposes a new transaction management model based on the idea of non-blocking partition processing. An extended quorum-based commitment protocol and an optimistic quorum-based termination protocol are developed to support this goal.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127261092","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
A hierarchical description of the Hermix distributed operating system 对Hermix分布式操作系统的分层描述
Symposium on Small Systems Pub Date : 1988-01-03 DOI: 10.1145/62453.62474
Y. Berbers, P. Verbaeten
{"title":"A hierarchical description of the Hermix distributed operating system","authors":"Y. Berbers, P. Verbaeten","doi":"10.1145/62453.62474","DOIUrl":"https://doi.org/10.1145/62453.62474","url":null,"abstract":"Distributed operating systems are often structured in a server oriented way, where some system tasks are performed by server processes. For modularity reasons, Hermix is build of a minimal kernel and many small servers; however to get a reasonable performance we use tools to merge servers together or to integrate them in our kernel.\u0000In this paper we analyze the most basic services needed in server oriented systems. We give a description of these basic services and place them in a hierarchical structure. Servers usually handle services from different layers and can therefore not be ordered hierarchically. Our hierarchical description gives a better insight in the relationships between inter-process communication, memory management based on swapping and both low level and high level process management.","PeriodicalId":147067,"journal":{"name":"Symposium on Small Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127623863","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
首页 上一页 下一页 尾页
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学术官方微信