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

Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)最新文献

筛选
英文 中文
Software certification for industry-verification and validation issues in expert systems 软件认证行业验证和确认问题的专家系统
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707373
A. Vermesan
{"title":"Software certification for industry-verification and validation issues in expert systems","authors":"A. Vermesan","doi":"10.1109/DEXA.1998.707373","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707373","url":null,"abstract":"Research in verification and validation (V&V) of knowledge based systems (KBS) has emerged as a distinct field in the last decade and is intended to address issues associated with KBS quality aspects and to credit such applications to the same degree as conventional applications. Part of the knowledge and techniques developed are now ready to be transferred to industry for the implementation of software certification. Certification is probably the most advanced use of the V&V methods, techniques and knowledge that have been developed so far. The paper approaches the challenging issues of certifying the knowledge base (KB) component of a KBS. KB certification uses a number of different certification methods such as static analysis, testing, inspection, and modeling to assess the quality of the KB component. Although these methods are currently used in KBS development, it is not yet clear how they would be applied by an independent certification organization to arrive at a pass/fail decision. The article discusses the components of KB certification and identifies application areas directly connected with industrial needs.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115532578","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}
引用次数: 20
Validation of knowledge-based systems by means of stochastic search 基于知识的系统的随机搜索验证
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707378
Laure Brisoux, É. Grégoire, L. Sais
{"title":"Validation of knowledge-based systems by means of stochastic search","authors":"Laure Brisoux, É. Grégoire, L. Sais","doi":"10.1109/DEXA.1998.707378","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707378","url":null,"abstract":"The use of stochastic search to validate first order knowledge based systems is investigated. It is well known that such techniques can prove efficient in showing that consistency constraints do hold, at least in the propositional case. Powerful heuristics about the trace of stochastic search allow proofs of inconsistency to be obtained as well. But, how stochastic search can be applied to first order knowledge bases without giving rise to a combinatorial space explosion remains an open issue. A partial instantiation schema is proposed in the context of the incremental consistency/inconsistency problem. It allows forms of depth limited consistency and inconsistency to be handled in an effective manner showing promising paths for the development of new efficient consistency checking techniques for first order knowledge bases.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125931321","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
Discussion databases: a framework for design 讨论数据库:一个设计框架
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707527
I. Hawryszkiewycz
{"title":"Discussion databases: a framework for design","authors":"I. Hawryszkiewycz","doi":"10.1109/DEXA.1998.707527","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707527","url":null,"abstract":"The paper describes the role of discussion databases in knowledge intensive organizations. It first outlines discussion database structures and their role in processing tacit knowledge and reducing it to explicit form. It stresses the need for discussion structures that follow organizational norms and describes ways of achieving this by using customizable components. It describes ways of identifying such components through scenarios for tacit knowledge processing. The approach is illustrated with examples.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126071729","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
Database design for very small companies 为非常小的公司设计数据库
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707529
L. Hall, Owen Hanson, Alison Pope
{"title":"Database design for very small companies","authors":"L. Hall, Owen Hanson, Alison Pope","doi":"10.1109/DEXA.1998.707529","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707529","url":null,"abstract":"The Centre for Business Systems Applications in City University, London, works with many small companies. This paper reviews the very different needs such companies have by comparison with larger companies, and the effect this has on the design of databases to meet those needs. The design of software to provide estimates for printing and packaging applications is used to illustrate this difference, and to communicate our findings in a series of business applications.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124447284","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
Rule-based parallel query optimization for OQL using a parallelism extraction technique 使用并行抽取技术的基于规则的OQL并行查询优化
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707485
Sandra Sampaio, P. Sampaio
{"title":"Rule-based parallel query optimization for OQL using a parallelism extraction technique","authors":"Sandra Sampaio, P. Sampaio","doi":"10.1109/DEXA.1998.707485","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707485","url":null,"abstract":"This work deals with query optimization far parallel object-oriented databases using rule-based optimizers. The solution enacted departs from an existing non-parallel database query optimizer and extends it with a parallelism extraction module that modifies the original query optimizer to generate query plans for a parallel OODBMS architecture. The ideas are applied in the design of a parallel optimizer for OQL. The implementation approach shows that the parallelism extraction technique combined with a rule-based optimizer generator tool can help to produce a parallel optimizer from a non-parallel one with minimum effort.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124486651","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
Towards logical analysis of tabular rule-based systems 对基于表格规则的系统进行逻辑分析
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707376
A. Ligeza
{"title":"Towards logical analysis of tabular rule-based systems","authors":"A. Ligeza","doi":"10.1109/DEXA.1998.707376","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707376","url":null,"abstract":"Rule based systems constitute the most popular tool for specification of operational knowledge in majority of knowledge based systems. The paper addresses the issue of analysis and verification of selected properties of such systems in a systematic way. A uniform, tabular form of single level rule based systems is put forward. Such systems can be used independently as a generalized form of decision tables, or as the lower level components of a hierarchical, multi level knowledge based system. An algebraic knowledge representation form is proposed and algebraic bases for rule verification are outlined.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130969897","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
ExpertGuide for help desks-an intelligent information retrieval system for WWW pages 用于帮助台的ExpertGuide -一个WWW页面的智能信息检索系统
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707518
K. Nihei, N. Tomizawa, Akihiro Shibata, H. Shimazu
{"title":"ExpertGuide for help desks-an intelligent information retrieval system for WWW pages","authors":"K. Nihei, N. Tomizawa, Akihiro Shibata, H. Shimazu","doi":"10.1109/DEXA.1998.707518","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707518","url":null,"abstract":"An intelligent information retrieval system, ExpertGuide/sup TM/, has been developed. Implemented by Java applets, it runs on WWW browsers. It has a function which guides users through the diagnostic process by suggesting questions to which users can easily discover relevant WWW pages by selecting appropriate answers. During the diagnosis process, the system accesses knowledge bases consisting of hierarchical indexes(referred to in the interface as a \"table of contents\"). Each page in a result set has a probability of usage assigned to it on the basis of past experience. An algorithm, bused on information theory, uses these probabilities to determine the amount of information to be gained by answering each given question. Questions are then presented in the order in which answering each will narrow down the result set most efficiently, this allows users achieve useful results with fewer questions. This paper describes the effectiveness of ExpertGuide when used as a help desk system.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133263026","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}
引用次数: 6
Location dependent data and its management in mobile databases 移动数据库中位置相关数据及其管理
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707433
M. Dunham, Vijay Kumar
{"title":"Location dependent data and its management in mobile databases","authors":"M. Dunham, Vijay Kumar","doi":"10.1109/DEXA.1998.707433","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707433","url":null,"abstract":"In traditional ways of managing data, the relationship between the data and the geographical location of the organization it represents, is usually ignored. In wireless computing this property of \"location transparency\" is in fact often replaced by a \"location dependency\" property. Furthermore, the mode of issuing queries (the geographical location where the queries originate, the way they are issued, etc.) on such data determines the outcome. Location dependent data is data whose value depends on its location. The objective of the paper is to introduce this topic and spawn further related research.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133587811","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}
引用次数: 129
Coordination in message-based environments: restructuring Internet e-mail to accomplish tasks 基于消息的环境中的协调:重组Internet电子邮件以完成任务
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707458
Juha Takkinen, N. Shahmehri
{"title":"Coordination in message-based environments: restructuring Internet e-mail to accomplish tasks","authors":"Juha Takkinen, N. Shahmehri","doi":"10.1109/DEXA.1998.707458","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707458","url":null,"abstract":"In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for message-based communication and coordination of work in virtual and real organizations, where many users are involved. Specifically, we aim to design a control mechanism to support the identification and delegation of tasks and dissemination of information to individuals and groups in an organization using e-mail. We present and briefly discuss the results of an explorative study of task management in an e-mail user's daily electronic life. Some basic relations for a task-oriented and user-centered restructuring of the e-mail domain are identified. A tentative framework named CUDOS is described, and our ideas for a prototype are presented, with a previously developed conceptual model of information management in e-mail as a starting point.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124695395","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
The dissemination of United Nations crime and justice information: future developments of UNCJIN 传播联合国犯罪和司法资料:联合国犯罪和司法信息网的未来发展
Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130) Pub Date : 1998-08-26 DOI: 10.1109/DEXA.1998.707466
A. Bouloukos, G. Quirchmayr, W. Rhomberg
{"title":"The dissemination of United Nations crime and justice information: future developments of UNCJIN","authors":"A. Bouloukos, G. Quirchmayr, W. Rhomberg","doi":"10.1109/DEXA.1998.707466","DOIUrl":"https://doi.org/10.1109/DEXA.1998.707466","url":null,"abstract":"The changing environment and the increasing pressure to reduce the cost of publishing have forced the Centre of International Crime Prevention to look for alternatives to paper-based publishing. To adopt the web as platform for disseminating information as soon as it became practicable therefore was a very natural environment. The goal of this paper is to show, by the example of the Centre, how an international organisation has successfully managed to establish its presence on the Internet with help from partner organisations and universities. The second aim is to give an impression of how the web can be used as information and discussion platform by the international criminological community and which future development lies ahead.","PeriodicalId":194923,"journal":{"name":"Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130)","volume":"67 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124984311","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学术官方微信