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

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94最新文献

筛选
英文 中文
GATTO: an intelligent tool for automatic test pattern generation for digital circuits GATTO:用于自动生成数字电路测试模式的智能工具
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346463
P. Prinetto, M. Rebaudengo, M. Reorda, Enzo Veiluva
{"title":"GATTO: an intelligent tool for automatic test pattern generation for digital circuits","authors":"P. Prinetto, M. Rebaudengo, M. Reorda, Enzo Veiluva","doi":"10.1109/TAI.1994.346463","DOIUrl":"https://doi.org/10.1109/TAI.1994.346463","url":null,"abstract":"This paper deals with the problem of automated test pattern generation for large digital circuits. A distributed approach based on genetic algorithms is presented, which exploits the computational power of workstation networks to solve the problem even for the largest circuits. A prototypical system named GATTO is presented: the experimental results show that good results can be reached with CPU times much smaller than for previous methods, and that the distributed approach provides a good speed-up with respect to the mono-processor version. Thanks to the adoption of GAs, the method is able to dynamically adapt itself to the circuit it is applied to, and it allows the user to easily trade-off results accuracy and CPU time.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116528654","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
Response surface methodology for optimal neural network selection 最优神经网络选择的响应面方法
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346500
Chih-Chou Chiu, J. Pignatiello, D. F. Cook
{"title":"Response surface methodology for optimal neural network selection","authors":"Chih-Chou Chiu, J. Pignatiello, D. F. Cook","doi":"10.1109/TAI.1994.346500","DOIUrl":"https://doi.org/10.1109/TAI.1994.346500","url":null,"abstract":"A multilayer neural network was designed for time series forecasting using response surface methodology (RSM). To optimize the network's parameters (the number of hidden nodes, the initial learning rate and momentum constant) RSM was employed to explore the mean square error response surface. Extensive studies were performed on the effect of the initial values of connection weights on the accuracy of the backpropagation learning method which was employed in the training of the artificial neural network. The effectiveness of the neural network with the proposed RSM technique is demonstrated with an example of forecasting the number of passengers on an international airline. It was found that with RSM the neural network provided a more accurate prediction of the response.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121473301","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 method for organizing knowledge bases in the hierarchical form 以层次形式组织知识库的一种方法
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346394
H.T. Bao
{"title":"A method for organizing knowledge bases in the hierarchical form","authors":"H.T. Bao","doi":"10.1109/TAI.1994.346394","DOIUrl":"https://doi.org/10.1109/TAI.1994.346394","url":null,"abstract":"We propose OSHAM, a novel top-down, unsupervised concept formation method based on a set-theoretic model for conceptual hierarchies. The method is close to the human approach to hierarchical classification and empirical results state its high ability to correctly classify new objects.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123125203","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 tool to support knowledge based software maintenance: the Software Service Bay 支持基于知识的软件维护的工具:软件服务湾
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346519
Jonathan I. Maletic, R. Reynolds
{"title":"A tool to support knowledge based software maintenance: the Software Service Bay","authors":"Jonathan I. Maletic, R. Reynolds","doi":"10.1109/TAI.1994.346519","DOIUrl":"https://doi.org/10.1109/TAI.1994.346519","url":null,"abstract":"A software maintenance methodology, The Software Service Bay, is introduced. This methodology is analogous to the automotive service bay which employs a number of experts for particular maintenance problems. Problems in maintenance are reformulated so they may be solved with current AI tools and technologies.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"49 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133783438","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
Combining geometric and photometric information to find lines from step edge detection 结合几何和光度信息，从步进边缘检测找到线
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346396
Alain Filbois
{"title":"Combining geometric and photometric information to find lines from step edge detection","authors":"Alain Filbois","doi":"10.1109/TAI.1994.346396","DOIUrl":"https://doi.org/10.1109/TAI.1994.346396","url":null,"abstract":"This paper deals with the problem of detecting both step and line edges using a classical step edge detector. As a gradient detector produces two extrema when applied to a line, we propose a method which is based on such a detector but which appropriately responds to both step and line edges. The idea is first to identify line contours using geometric and photometric properties and second to substitute a line for a single contour using a skeletonization algorithm.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130732531","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
Metrics based classification trees for software test monitoring and management 用于软件测试监控和管理的基于度量的分类树
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346386
R. Paul
{"title":"Metrics based classification trees for software test monitoring and management","authors":"R. Paul","doi":"10.1109/TAI.1994.346386","DOIUrl":"https://doi.org/10.1109/TAI.1994.346386","url":null,"abstract":"An important objective of software test programs is to identity, \"high-risk\" components. This paper focuses on one method which can be applied to identify high-risk software components, the use of a classification tree with an established software metrics set. The selected examples of high-risk software components are those modules which are most likely to induce errors in the target operational system, and those software components which will require the most effort in the development process. The associated metrics are software reliability and productivity. This paper describes the methodology utilized by the US Army in the application of classification trees for analysis of software metrics data. A detailed example is provided with a step-by-step procedure for construction of a classification tree for software metrics analysis.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131140577","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 knowledge representation system for integration of general and case-specific knowledge 一种集成一般知识和具体案例知识的知识表示系统
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346389
A. Aamodt
{"title":"A knowledge representation system for integration of general and case-specific knowledge","authors":"A. Aamodt","doi":"10.1109/TAI.1994.346389","DOIUrl":"https://doi.org/10.1109/TAI.1994.346389","url":null,"abstract":"Combining various knowledge types-and reasoning methods-in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented, frame-based knowledge representation system aimed at unifying case-specific and general domain knowledge within a single representation system. It is targeted at the representational needs that have emerged from research in knowledge-intensive case-based reasoning, addressing complex problem solving in open and weak theory domains. Emphasis is put on representational expressiveness, on flexible reasoning and control schemes, and on easy inspection of cases and other knowledge objects.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128405722","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
Approximate graph matching using probabilistic hill climbing algorithms 使用概率爬坡算法的近似图匹配
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346466
J. Wang, Kaizhong Zhang, G. Chirn
{"title":"Approximate graph matching using probabilistic hill climbing algorithms","authors":"J. Wang, Kaizhong Zhang, G. Chirn","doi":"10.1109/TAI.1994.346466","DOIUrl":"https://doi.org/10.1109/TAI.1994.346466","url":null,"abstract":"We consider the problem of comparison between labeled graphs. The criterion for comparison is the distance as measured by a weighted sum of the costs of deletion, insertion, and relabel operations on graph nodes and edges. Specifically, we consider two variants of the approximate graph matching problem: Given a pattern graph P and a data graph D, what is the distance between P and D? What is the minimum distance between P and D when subgraphs can be freely removed from D? We first observe that no efficient algorithm con solve either variant of the problem, unless P=NP. Then we present several heuristic algorithms based on probabilistic hill climbing techniques. Finally we evaluate the accuracy and time efficiency of the heuristics by applying them to a set of generated graphs and DNA molecules.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133821544","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
Query processing for partial information databases in QUIXOTE 堂吉诃德中部分信息数据库的查询处理
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346469
K. Yokota, H. Tsuda, T. Nishioka, S. Tojo
{"title":"Query processing for partial information databases in QUIXOTE","authors":"K. Yokota, H. Tsuda, T. Nishioka, S. Tojo","doi":"10.1109/TAI.1994.346469","DOIUrl":"https://doi.org/10.1109/TAI.1994.346469","url":null,"abstract":"In advanced knowledge processing, partial information plays an important role in coping with complex data and knowledge. To handle such information, we developed the knowledge representation language (which may be regarded as a deductive object-oriented database language) QUIXOTE. The language has the features of both logic and object-orientation concepts, as well as database features. In this paper, we introduce the query processing mechanism for partial information databases in QUIXOTE, as a tool for effective data processing, taking the example of legal reasoning, and show its applicability to many applications in artificial intelligence.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133439564","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
Constructs for building complex symbolic-connectionist systems 用于构建复杂的符号-联结系统的构念
Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI: 10.1109/TAI.1994.346399
R. Khosla, T. Dillon
{"title":"Constructs for building complex symbolic-connectionist systems","authors":"R. Khosla, T. Dillon","doi":"10.1109/TAI.1994.346399","DOIUrl":"https://doi.org/10.1109/TAI.1994.346399","url":null,"abstract":"In this paper we describe the problem-solving constructs, namely information processing constructs, learning constructs, knowledge representation constructs and computational constructs for building complex symbolic-connectionist systems. These constructs are applicable in particular to complex diagnostic domains and in general to complex data intensive domains.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127022741","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学术官方微信