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

2010 Second International Conference on Knowledge and Systems Engineering最新文献

筛选
英文 中文
Extending CREST with Multiple SMT Solvers and Real Arithmetic 用多SMT求解器和实算法扩展CREST
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.34
Do Quoc Huy, Trương Anh Hoàng, N. Binh
{"title":"Extending CREST with Multiple SMT Solvers and Real Arithmetic","authors":"Do Quoc Huy, Trương Anh Hoàng, N. Binh","doi":"10.1109/KSE.2010.34","DOIUrl":"https://doi.org/10.1109/KSE.2010.34","url":null,"abstract":"Generating the test inputs, that have high code coverage while minimizing the number of test inputs, is a practical but difficult problem. The application of symbolic execution in combination with SMT solvers gives a promising way to solve it. Recently, there have been several tools that help generating the test inputs for C programs, but their abilities are still limited, depending on the particular chosen SMT solver and most of them currently do not support real arithmetic. We propose an approach to overcome the limitation of unique solver’s ability by using multiple SMT solvers and combining their results to get the best solution. We also propose a method of reasoning real arithmetic for symbolic testing. We have implemented this approach in an open source symbolic testing tool called real CREST. Our experimental results are very positive.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123571307","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
A Computational Framework for Adaptation in Military Mission Planning 军事任务规划中的适应性计算框架
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.37
L. Bui, Z. Michalewicz
{"title":"A Computational Framework for Adaptation in Military Mission Planning","authors":"L. Bui, Z. Michalewicz","doi":"10.1109/KSE.2010.37","DOIUrl":"https://doi.org/10.1109/KSE.2010.37","url":null,"abstract":"Military missions are highly dynamic and uncertain. This characteristic comes from the nature of battlefields where such factors as enemies and terrains are not easy to be determined. Hence disruption of missions is likely to occur whenever happening a change. This requires generating plans that can adapt quickly to changes during execution of missions, while paying a less cost. In this paper, we propose a computational approach for adaptation of mission plans dealing with any possible disruption caused by changes. It first mathematically models the dynamic planning problem with two criteria: the mission execution time and the cost of operations. Based on this quantification, we introduce a computational framework, which has an evolutionary mechanism for adapting the current solution to new situations resulted from changes. We carried out a case study on this newly proposed approach. A modified military scenario of a mission was used for testing. The obtained results strongly support our proposal in finding adaptive solution dealing with the changes.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127767195","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 Runtime Approach to Verify Scenario in Multi-agent Systems 多智能体系统中场景验证的运行时方法
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.13
Thanh-Binh Trinh, Quang-Thap Pham, Ninh-Thuan Truong, Viet-Ha Nguyen
{"title":"A Runtime Approach to Verify Scenario in Multi-agent Systems","authors":"Thanh-Binh Trinh, Quang-Thap Pham, Ninh-Thuan Truong, Viet-Ha Nguyen","doi":"10.1109/KSE.2010.13","DOIUrl":"https://doi.org/10.1109/KSE.2010.13","url":null,"abstract":"A scenario is a synthetic description of an event or series of actions and events. It plays an important role in software analysis and design, as well as verification and validation. In this paper, we propose an approach to verify the correctness of execution scenario in a multi-agent system. In this approach, scenarios are specified by Protocol Diagrams in AUML (Agent Unified Modeling Language), we formalize pre and post conditions of the scenarios and define an extension property class in JPF (Java Path Finder) model checker to verify if the execution of scenarios satisfies their constraints. We use a well-known scenario of a book trading multi-agent system to illustrate our approach.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"465 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116026446","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
Neural Networks Training Based on Sequential Extended Kalman Filtering for Single Trial EEG Classification 基于序列扩展卡尔曼滤波的神经网络训练在单次脑电分类中的应用
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.42
A. Turnip, K. Hong, S. Ge, M. Jeong
{"title":"Neural Networks Training Based on Sequential Extended Kalman Filtering for Single Trial EEG Classification","authors":"A. Turnip, K. Hong, S. Ge, M. Jeong","doi":"10.1109/KSE.2010.42","DOIUrl":"https://doi.org/10.1109/KSE.2010.42","url":null,"abstract":"The nonstationary nature of the brain signals provides a rather unstable input resulting in uncertainty and complexity in the control. Intelligent processing algorithms adapted to the task are a prerequisite for reliable BCI applications. This work presents a novel intelligent processing strategy for the realization of an effective BCI which has the capability to improved classification accuracy and communication rate as well. A neural networks training based on sequential extended Kalman filtering analysis for classification of extracted EEG signal is proposed. A statistically significant improvement was achieved with respect to the rates provided by raw data.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"04 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129471533","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
An Adaptive Ontology Based Hierarchical Browsing System for CiteSeerx 基于自适应本体的CiteSeerx分层浏览系统
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.32
N. Ye, Susan Gauch, Qiang Wang, H. Luong
{"title":"An Adaptive Ontology Based Hierarchical Browsing System for CiteSeerx","authors":"N. Ye, Susan Gauch, Qiang Wang, H. Luong","doi":"10.1109/KSE.2010.32","DOIUrl":"https://doi.org/10.1109/KSE.2010.32","url":null,"abstract":"As an indispensable technique in addition to the field of emph{Information Retrieval}, emph{Ontology based Retrieval System} (or Browsing Hierarchy) has been well studied and developed both in academia and industry. However, most of current systems suffer the following problems: (1) Constructing the mappings between documents and concepts in ontology requires the training of robust hierarchical classifiers, it's difficult to build such classifiers for large-scale documents corpus due to the time-efficiency and precision issues. (2) The traditional Browsing Hierarchical System ignores the distribution of documents over concepts, which is not realistic when a large number of documents distributed biasly on certain concepts. Browsing documents such concepts becomes time-consuming and unpractical for users. Therefore, further splitting these concepts into sub-categories is necessary and critical for organizing documents in the browsing system. Aiming at building the Hierarchical Browsing System more realistically and accurately, we propose an adpative Hierarchical Browsing System framework in this paper, which is designed to build a Browsing Hierarchy for $CiteSeer^x$. In this framework, we first investigate the supervised learning approaches to classify documents into existing predefined concepts of ontology and compare their performance on different datasets of $CiteSeer^x$. Then, we give a empirical analysis of unsupervised learning methods for adding new clusters to the existing browsing hierarchy. Experimental analysis on $CiteSeer^x$ corpus shows the effectiveness and the efficiency of our method.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125501699","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
Change Management Strategies for the Successful Implementation of Enterprise Resource Planning Systems 为成功实施企业资源计划系统而改变管理策略
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.10
Trieu Thi Van Hau, J. Kuzic
{"title":"Change Management Strategies for the Successful Implementation of Enterprise Resource Planning Systems","authors":"Trieu Thi Van Hau, J. Kuzic","doi":"10.1109/KSE.2010.10","DOIUrl":"https://doi.org/10.1109/KSE.2010.10","url":null,"abstract":"ERP offers enormous benefits to organizations in efficiency, productivity and cost reduction. However, ERP implementations are complex, with many encountering difficulty and even failure. Change management has been identified as a critical success factor in the implementation of ERP. This study surveys twelve successful ERP implementation case studies to determine which components of change management strategies are common to successful ERP implementations. The common components identified include: effective communication, top management support, effective training/knowledge transfer, project champions, and clear systematic plans.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133445267","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
Supervised Feature Evaluation by Consistency Analysis: Application to Measure Sets Used to Characterise Geographic Objects 一致性分析的监督特征评价:用于表征地理对象的测量集的应用
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.28
P. Taillandier, A. Drogoul
{"title":"Supervised Feature Evaluation by Consistency Analysis: Application to Measure Sets Used to Characterise Geographic Objects","authors":"P. Taillandier, A. Drogoul","doi":"10.1109/KSE.2010.28","DOIUrl":"https://doi.org/10.1109/KSE.2010.28","url":null,"abstract":"Nowadays, supervised learning is commonly used in many domains. Indeed, many works propose to learn new knowledge from examples that translate the expected behaviour of the considered system. A key issue of supervised learning concerns the description language used to represent the examples. In this paper, we propose a method to evaluate the feature set used to describe them. Our method is based on the computation of the consistency of the example base. We carried out a case study in the domain of geomatic in order to evaluate the sets of measures used to characterise geographic objects. The case study shows that our method allows to give relevant evaluations of measure sets.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116139286","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
Smoothing Supervised Learning of Neural Networks for Function Approximation 用于函数逼近的神经网络平滑监督学习
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.15
T. Nguyen
{"title":"Smoothing Supervised Learning of Neural Networks for Function Approximation","authors":"T. Nguyen","doi":"10.1109/KSE.2010.15","DOIUrl":"https://doi.org/10.1109/KSE.2010.15","url":null,"abstract":"Two popular hazards in supervised learning of neural networks are local minima and over fitting. Application of the momentum technique dealing with the local optima has proved efficient but it is vulnerable to over fitting. In contrast, deployment of the early stopping technique might overcome the over fitting phenomena but it sometimes terminates into the local minima. This paper proposes a hybrid approach, which is a combination of two processing neurons: momentum and early stopping, to tackle these hazards, aiming at improving the performance of neural networks in terms of both accuracy and processing time in function approximation. Experimental results conducted on various kinds of non-linear functions have demonstrated that the proposed approach is dominant compared with conventional learning approaches.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"183 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115064766","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
Rule-Based Attribute-Oriented Induction for Knowledge Discovery 基于规则的面向属性的知识发现归纳
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.23
N. D. Thanh, Ngo Tuan Phong, N. K. Anh
{"title":"Rule-Based Attribute-Oriented Induction for Knowledge Discovery","authors":"N. D. Thanh, Ngo Tuan Phong, N. K. Anh","doi":"10.1109/KSE.2010.23","DOIUrl":"https://doi.org/10.1109/KSE.2010.23","url":null,"abstract":"This paper introduces a rule-based Attribute-Oriented (AO) Induction method on rule-based concept hierarchies that can be constructed from generalization rules. Based on analyzing some major previous approaches such as rule-based AO induction with backtracking, path-id based AO induction and a cyclic graph based AO induction, we propose a new approach to facilitate induction on the rule based case that can avoid a problem of anomaly and overcome disadvantages of these above methods. Experimental studies show that the new approach is efficient and suitable for providing condensed and qualified summarizations.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127817312","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
An Improvement of PIP for Time Series Dimensionality Reduction and Its Index Structure 时间序列降维的PIP改进及其指标结构
2010 Second International Conference on Knowledge and Systems Engineering Pub Date : 2010-10-07 DOI: 10.1109/KSE.2010.8
N. T. Son, D. T. Anh
{"title":"An Improvement of PIP for Time Series Dimensionality Reduction and Its Index Structure","authors":"N. T. Son, D. T. Anh","doi":"10.1109/KSE.2010.8","DOIUrl":"https://doi.org/10.1109/KSE.2010.8","url":null,"abstract":"In this paper, we introduce a new time series dimensionality reduction method, IPIP. This method takes full advantages of PIP (Perceptually Important Points) method, proposed by Chung et al., with some improvements in order that the new method can theoretically satisfy the lower bounding condition for time series dimensionality reduction methods. Furthermore, we can make IPIP index able by showing that a time series compressed by IPIP can be indexed with the support of a multidimensional index structure based on Skyline index. Our experiments show that our IPIP method with its appropriate index structure can perform better than to some previous schemes, namely PAA based on traditional R*- tree.","PeriodicalId":158823,"journal":{"name":"2010 Second International Conference on Knowledge and Systems Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114360373","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}
引用次数: 9
首页 上一页 下一页 尾页
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学术官方微信