2014 IEEE 26th International Conference on Tools with Artificial Intelligence最新文献

筛选
英文 中文
Temporal and Spatial Clustering for a Parking Prediction Service 停车预测服务的时空聚类
Felix Richter, S. Martino, D. Mattfeld
{"title":"Temporal and Spatial Clustering for a Parking Prediction Service","authors":"Felix Richter, S. Martino, D. Mattfeld","doi":"10.1109/ICTAI.2014.49","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.49","url":null,"abstract":"It has been estimated that in urban scenarios up to 30% of the traffic is due to vehicles looking for a free parking space. Thanks to recent technological evolutions, it is now possible to have at least a partial coverage of real-time data of parking space availability, and some preliminary mobile services are able to guide drivers towards free parking spaces. Nevertheless, the integration of this data within car navigators is challenging, mainly because (I) current In-Vehicle Telematic systems are not connected, and (II) they have strong limitations in terms of storage capabilities. To overcome these issues, in this paper we present a back-end based approach to learn historical models of parking availability per street. These compact models can then be easily stored on the map in the vehicle. In particular, we investigate the trade-off between the granularity level of the detailed spatial and temporal representation of parking space availability vs. The achievable prediction accuracy, using different spatio-temporal clustering strategies. The proposed solution is evaluated using five months of parking availability data, publicly available from the project Spark, based in San Francisco. Results show that clustering can reduce the needed storage up to 99%, still having an accuracy of around 70% in the predictions.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125360356","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}
引用次数: 59
An Introduction to the JADEL Programming Language JADEL程序设计语言简介
2014 IEEE 26th International Conference on Tools with Artificial Intelligence Pub Date : 2014-11-10 DOI: 10.1109/ICTAI.2014.147
F. Bergenti
{"title":"An Introduction to the JADEL Programming Language","authors":"F. Bergenti","doi":"10.1109/ICTAI.2014.147","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.147","url":null,"abstract":"This paper summarizes the current state of development of JADEL, a novel programming language that eases the implementation of agents and multi-agent systems. First, the introduction of a novel agent programming language is motivated and the approach that was used to design JADEL is presented. Then, the characteristic features of JADEL are described by means of a didactic example. The paper is concluded with a short discussion about current and planned developments of JADEL.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121074150","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}
引用次数: 27
A Versatile Description Framework for Modeling Behaviors in Traffic Simulations 交通仿真中行为建模的通用描述框架
2014 IEEE 26th International Conference on Tools with Artificial Intelligence Pub Date : 2014-11-10 DOI: 10.1109/ICTAI.2014.158
Alexandre Bonhomme, P. Mathieu, S. Picault
{"title":"A Versatile Description Framework for Modeling Behaviors in Traffic Simulations","authors":"Alexandre Bonhomme, P. Mathieu, S. Picault","doi":"10.1109/ICTAI.2014.158","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.158","url":null,"abstract":"Microscopic simulations of road traffic are a typical application domain for Multi-Agent Systems. Indeed, the individual-based approach allows to take into account the diversity of behaviors so as to consider real situations. More recently, geographical databases provide environmental information under open formats, which offers the opportunity to design agent-based traffic simulators which can be continuously informed of changes in traffic conditions. The use of such data, together with the adaptability of MAS, allows the realization of decision support systems that are able to integrate environmental and behavioral modifications in a direct way, and compare various scenarios built from different hypotheses in terms of actors, behaviors, environment and flows. We describe here a modeling approach and a comprehensive process which lead to the development of such a tool.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124128978","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
Athena: A Visual Tool to Support the Development of Computational Intelligence Systems 雅典娜:支持计算智能系统开发的可视化工具
2014 IEEE 26th International Conference on Tools with Artificial Intelligence Pub Date : 2014-11-10 DOI: 10.1109/ICTAI.2014.144
Pedro Almir Oliveira, Matheus Souza, Ronyérison Braga, Ricardo Britto, R. Rabêlo, P. Neto
{"title":"Athena: A Visual Tool to Support the Development of Computational Intelligence Systems","authors":"Pedro Almir Oliveira, Matheus Souza, Ronyérison Braga, Ricardo Britto, R. Rabêlo, P. Neto","doi":"10.1109/ICTAI.2014.144","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.144","url":null,"abstract":"Computational Intelligence (CI) embraces techniques designed to address complex real-world problems in which traditional approaches are ineffective or infeasible. Some of these techniques are being used to solve several complex problems, such as the team allocation, building products portfolios in a software product line and test case selection/prioritization. However, despite the usefulness of these applications, the development of solutions based in CI techniques is not a trivial activity, since it involves the implementation/adaptation of algorithms to specific context and problems. This work presents Athena, a visual tool developed aiming at offering a simple approach to develop CI-based software systems. In order to do this, we proposed a drag-and-drop approach, which we called CI as a Service (CIaaS). Based on a preliminary study, we can state that Athena can help researchers to save time during the development of computational intelligence approaches.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130363781","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
Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs 基于二部图匹配的协同寻径压缩表示
2014 IEEE 26th International Conference on Tools with Artificial Intelligence Pub Date : 2014-11-10 DOI: 10.1109/ICTAI.2014.134
Pavel Surynek
{"title":"Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs","authors":"Pavel Surynek","doi":"10.1109/ICTAI.2014.134","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.134","url":null,"abstract":"This paper addresses make span optimal solving of cooperative path-finding problem (CPF) by translating it to propositional satisfiability (SAT). The task is to relocate set of agents to given goal positions so that they do not collide with each other. A novel SAT encoding of CPF is suggested. The novel encoding uses the concept of matching in a bipartite graph to separate spatial constraint of CPF from consideration of individual agents. The separation allowed reducing the size of encoding significantly. The conducted experimental evaluation shown that novel encoding can be solved faster than existing encodings for CPF and also that the SAT based methods dominates over A* based methods in environment densely occupied by agents.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133565248","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}
引用次数: 41
Clustering Human Wrist Pulse Signals via Multiple Criteria Decision Making 基于多准则决策的腕部脉搏信号聚类
B. Dong, Peihuan Gao, Hongwu Wang, Shizhong Liao
{"title":"Clustering Human Wrist Pulse Signals via Multiple Criteria Decision Making","authors":"B. Dong, Peihuan Gao, Hongwu Wang, Shizhong Liao","doi":"10.1109/ICTAI.2014.44","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.44","url":null,"abstract":"In this paper, we cluster a unlabeled human wrist pulse signal data set via a multiple criteria decision making (MCDM) framework to mine useful information for further study. First, a preprocessing scheme is performed and spatial features are extracted to represent a pulse signal. Then, a list of clustering algorithms are initialized to generate a number of clustering alternatives. The goodness of these clustering alternatives are sequentially comprehensively evaluated by 11 criteria, including ten internal cluster validation indices and an ad-hoc index, the robustness to noise, which is proposed for assessing the clustering alternatives of the pulse data set with spatial features. Taking the evaluation results as inputs, the technique for order preference by similarity to ideal solution (TOPSIS) method is employed to solve the resulting MCDM model. According to the TOPSIS rank, clustering the data set into thirteen clusters via k-means is optimal. Samples drawn from each cluster have similar patterns, corresponding to specific pulse type in traditional Chinese pulse diagnosis. The thirteen clusters are segregated into two groups, namely the healthy and the unhealthy, which can be further applied for unhealthy pulse detection.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131359560","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
On the Characterization of Inconsistency: A Prime Implicates Based Framework 关于不一致性的表征:一个基于素数隐含的框架
Saïd Jabbour, Yue Ma, Badran Raddaoui, L. Sais
{"title":"On the Characterization of Inconsistency: A Prime Implicates Based Framework","authors":"Saïd Jabbour, Yue Ma, Badran Raddaoui, L. Sais","doi":"10.1109/ICTAI.2014.31","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.31","url":null,"abstract":"Measuring inconsistency is recognized as an important issue for handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize one such property, named dominance, rarely satisfied by syntactic measures. Based on prime implicates canonical representation, we first characterize the conflicting variables allowing us to refine an existing inconsistency measure. Secondly, we propose a new measure, to circumscribe the internal conflicts in a knowledge base. This measure is proved to satisfy a new but weaker form of dominance.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129243285","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
Information Quantity Based Automatic Reconstruction of Shredded Chinese Documents 基于信息量的中文撕碎文件自动重构
2014 IEEE 26th International Conference on Tools with Artificial Intelligence Pub Date : 2014-11-10 DOI: 10.1109/ICTAI.2014.154
Bo Zhao, Yu Zhou, Zhengyu Zhang, Ying Na, Tinghuai Ma
{"title":"Information Quantity Based Automatic Reconstruction of Shredded Chinese Documents","authors":"Bo Zhao, Yu Zhou, Zhengyu Zhang, Ying Na, Tinghuai Ma","doi":"10.1109/ICTAI.2014.154","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.154","url":null,"abstract":"The reconstruction of shredded documents has a great significance in the fields of forensics, reconstruction of historical documents, and intelligence analysis. The reconstruction of cross-cut shredded Chinese documents is presented in this paper. The Evaluation of Match Degree is divided into two sub-problems, feature and the corresponding scoring function. A new method of the Evaluation of Match Degree which is suitable for shredded Chinese documents is presented. Information Quantity is introduced to measure the reliability of each matching, instead of regarding as the same. A novel and effective algorithm of automatic reconstruction based on Information Quantity is put forward to control the serious propagation of errors caused by the matching of shreds with low Information Quantity. Not only is the propagation of errors controlled effectively, and the error ratio reduced, but also the time complexity decreases greatly. Experiments have proven the high accuracy and superiority of the algorithm proposed in this paper.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"253 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122936678","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
Mining Relevant Sequence Patterns with CP-Based Framework 基于cp框架的相关序列模式挖掘
Amina Kemmar, W. Ugarte, S. Loudni, Thierry Charnois, Yahia Lebbah, P. Boizumault, B. Crémilleux
{"title":"Mining Relevant Sequence Patterns with CP-Based Framework","authors":"Amina Kemmar, W. Ugarte, S. Loudni, Thierry Charnois, Yahia Lebbah, P. Boizumault, B. Crémilleux","doi":"10.1109/ICTAI.2014.89","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.89","url":null,"abstract":"Sequential pattern mining under various constraints is a challenging data mining task. The paper provides a generic framework based on constraint programming to discover sequence patterns defined by constraints on local patterns (e.g., Gap, regular expressions) or constraints on patterns involving combination of local patterns such as relevant subgroups and top-k patterns. This framework enables the user to mine in a declarative way both kinds of patterns. The solving step is done by exploiting the machinery of Constraint Programming. For complex patterns involving combination of local patterns, we improve the mining step by using dynamic CSP. Finally, we present two case studies in biomedical information extraction and stylistic analysis in linguistics.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125134032","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}
引用次数: 17
Multiple Contraction through Partial-Max-SAT 通过Partial-Max-SAT进行多次收缩
É. Grégoire, Jean-Marie Lagniez, Bertrand Mazure
{"title":"Multiple Contraction through Partial-Max-SAT","authors":"É. Grégoire, Jean-Marie Lagniez, Bertrand Mazure","doi":"10.1109/ICTAI.2014.56","DOIUrl":"https://doi.org/10.1109/ICTAI.2014.56","url":null,"abstract":"An original encoding of multiple contraction in Boolean logic through Partial-Max-SAT is proposed. Multiple contraction of a set of clauses Δ by a set of formulas Γ delivers one maximum cardinality subset of Δ from which no formula of Γ can be deduced. Equivalently, multiple contraction can be defined as the extraction of one maximum cardinality subset of Δ that is satisfiable together with a given set of formulas. Noticeably, the encoding schema allows multiple contraction to be computed through a number of calls to a SAT solver that is bound by the number of formulas in Γ and one call to Partial-Max-SAT. On the contrary, in the worst case, a direct approach requires us to compute for each formula γ in Γ all inclusion-maximal subsets of Δ that do not entail γ. Extensive experimental results show that the encoding allows multiple contraction to be computed in a way that is practically viable in many cases and outperforms the direct approach.","PeriodicalId":142794,"journal":{"name":"2014 IEEE 26th International Conference on Tools with Artificial Intelligence","volume":"1540 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127445787","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学术文献互助群
群 号:481959085
Book学术官方微信