2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)最新文献

筛选
英文 中文
The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres 时间装箱问题:在数据中心工作负载管理中的应用
Milan De Cauwer, D. Mehta, B. O’Sullivan
{"title":"The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres","authors":"Milan De Cauwer, D. Mehta, B. O’Sullivan","doi":"10.1109/ICTAI.2016.0033","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0033","url":null,"abstract":"This paper formalises a packing problem that emerges as a core sub-problem for managing workload consolidation in data centres. As a generalisation of the Bin Packing (BP) problem, it considers a set of tasks (items) to be assigned to a set of machines (bins) under capacity constraints (CPU usage) on each machine. Unlike classic BP settings, items have a lifespan. We define the cost of using a bin as the product of the bin's capacity and the time for which it is used. This problem will be referred to as the Temporal Bin Packing problem (TBP). We formalise the problem and present optimisation models using Mixed Integer Programming (MIP) and Constraint Programming (CP) for two contrasting but equivalent perspectives on the problem. The Packing model (PA) extends traditional BP models while the Temporal model (TP) explicitly models time with a sequence of packing problems. In addition, symmetry breaking techniques are developed. Finally, we introduce both a lower bound and an upper bound on the objective function. Our empirical results suggest that the TBP is a rather challenging problem for complete solvers to prove optimality. While breaking symmetry considerably reduces the computational effort for both PA and TP models, the Packing model using CP should be considered for larger instances.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121090149","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}
引用次数: 26
Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT 基于SMT的多模式资源约束项目调度问题求解
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret
{"title":"Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT","authors":"Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret","doi":"10.1109/ICTAI.2016.0045","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0045","url":null,"abstract":"The Multi-Mode Resource-Constrained Project Scheduling Problem (MRCPSP) is a generalization of the well known Resource-Constrained Project Scheduling Problem (RCPSP). The most common exact approaches for solving this problem are based on branch-and-bound algorithms, mixed integer linear programming and Boolean satisfiability (SAT). In this paper, we present a new exact approach for solving this problem, using Satisfiability Modulo Theories (SMT). We provide two encodings into SMT and several reformulation and preprocessing techniques. The optimization algorithm that we propose uses an SMT solver as an oracle, and depending on its answer is able to update the encoding for the next optimization step. We report extensive performance experiments showing the utility of the proposed techniques and the good performance of our approach that allows us to close several open instances.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125146153","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
WAVE: Wave Agents in a Virtual Environment - A Proof of Concept Applied to Longitudinal Distance Regulation in Platoon Control WAVE:虚拟环境中的波代理——用于排控纵向距离调节的概念验证
Baudouin Dafflon, Maxime Guériau, Franck Gechter
{"title":"WAVE: Wave Agents in a Virtual Environment - A Proof of Concept Applied to Longitudinal Distance Regulation in Platoon Control","authors":"Baudouin Dafflon, Maxime Guériau, Franck Gechter","doi":"10.1109/ICTAI.2016.0017","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0017","url":null,"abstract":"Since a decade multi-agents became a widespread solution to tackle different kinds of issues in various application fields. Among the two main trends in multi-agent approaches (cognitive vs. reactive), the reactive one is particularly interesting for applications that require both fast response time, adaptability and robustness. Reactive Multi-agent Systems rely on simple interaction schemes between entities that can be inspired whether by Biology or Physics. The goal of this paper is to explore the possibility of using interference fringes and waves properties from a multi-agent standpoint so as to tackle a real problem, longitudinal platoon regulation, already explored by different strategies including particle agents approaches or standard PID controller.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125415546","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 Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip 片上无线网络中两种映射优化方案的比较
Maribell Sacanamboy Franco, L. Quesada, F. Bolanos, Álvaro Bernal Noreña, B. O’Sullivan
{"title":"A Comparison between Two Optimisation Alternatives for Mapping in Wireless Network on Chip","authors":"Maribell Sacanamboy Franco, L. Quesada, F. Bolanos, Álvaro Bernal Noreña, B. O’Sullivan","doi":"10.1109/ICTAI.2016.0145","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0145","url":null,"abstract":"Network on Chip (NoC) is a well known approach that aims at improving the performance of many-core systems. The design of such systems involves the optimal mapping of tasks to nodes, and the corresponding scheduling of the tasks at every node, which results in a challenging optimisation problem considering the constraints that need to be respected. In this paper, after formalising the problem and elaborating on its complexity, we present an AI approach to solve the problem and evaluate it against a MIP approach. Our empirical evaluation shows that the AI approach is able to obtain solutions of good quality very quickly.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125748748","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
Deploying Agents for Monitoring and Notification of Wireless Sensor Networks 部署用于监测和通知无线传感器网络的代理
A. Khalifeh, S. Al-Agtash, Rabi Tanash, Mahmoud AlQudah
{"title":"Deploying Agents for Monitoring and Notification of Wireless Sensor Networks","authors":"A. Khalifeh, S. Al-Agtash, Rabi Tanash, Mahmoud AlQudah","doi":"10.1109/ICTAI.2016.0118","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0118","url":null,"abstract":"A wireless sensor network (WSN) consists of a large number of sensor nodes. The nodes are represented by mobile ground robots and are deployed over an area to perform local sensing of the surroundings. Sensing and detection of critical events and vulnerabilities in such areas are highly desirable for a wide range of civil and military applications. Autonomy and energy efficiency are two key design issues of WSN robot nodes that ultimately impact performance and validity. A novel communication protocol is used for energy efficiency. The protocol allows WSN nodes to communicate with each other and send notification messages while optimizing energy consumption based on the alternation of use between CSMA and TDMA. It is embedded in an agent framework, results of which are still under investigation.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121683103","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}
引用次数: 13
Biterm Pseudo Document Topic Model for Short Text 短文本的双词伪文档主题模型
Lan Jiang, Heng-yang Lu, Ming Xu, Chong-Jun Wang
{"title":"Biterm Pseudo Document Topic Model for Short Text","authors":"Lan Jiang, Heng-yang Lu, Ming Xu, Chong-Jun Wang","doi":"10.1109/ICTAI.2016.0134","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0134","url":null,"abstract":"In the past few years, we have witnessed a rapid development of online social media, from which we can access various short texts. Understanding the topic patterns of these short text is significant. Traditional topic models, like LDA, are not suitable when applied to short text topic analysis due to data sparsity. A lot of efforts have been made to solve this problem. However, there is still significant space to improve the effectiveness of these short text specific methods. In this paper, we proposed a novel word co-occurrence network based method, referred to as biterm pseudo document topic model (BPDTM), which extended the previous biterm topic model(BTM) for short text. We utilized the word co-occurrence network to construct biterm pseudo documents. The proposed model is promising since it represents words with their semantic adjacent biterms and is able to model the corpus-level semantic relation between two words. Besides, BPDTM naturally lengthens the documents, which alleviate the influence for performance exerted by data sparsity. Experiments demonstrated that our model outperformed two baselines, i.e. LDA and BTM, which proved its effectiveness on short text topic modeling task.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114686146","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}
引用次数: 13
Rewriting Minimisations for Efficient Ontology-Based Query Answering 改写最小化以实现高效的基于本体的查询应答
Tassos Venetis, G. Stoilos, V. Vassalos
{"title":"Rewriting Minimisations for Efficient Ontology-Based Query Answering","authors":"Tassos Venetis, G. Stoilos, V. Vassalos","doi":"10.1109/ICTAI.2016.0168","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0168","url":null,"abstract":"Computing a (Union of Conjunctive Queries - UCQ) rewriting R for an input query and ontology and evaluating it over the given dataset is a prominent approach to query answering over ontologies. However, R can be large and complex in structure hence additional techniques, like query subsumption and data constraints, need to be employed in order to minimise Rew and lead to an efficient evaluation. Although sound in theory, how to efficiently and effectively implement many of these techniques in practice could be challenging. For example, many systems do not implement query subsumption. In the current paper we present several practical techniques for UCQ rewriting minimisation. First, we present an optimised algorithm for eliminating redundant (w.r.t. subsumption) queries as well as a novel framework for rewriting minimisation using data constraints. Second, we show how these techniques can also be used to speed up the computation of R in the first place. Third, we integrated all our techniques in our query rewriting system IQAROS and conducted an extensive experimental evaluation using many artificial as well as challenging real-world ontologies obtaining encouraging results as, in the vast majority of cases, our system is more efficient compared to the two most popular state-of-the-art systems.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114286692","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
Incremental Learning from Scratch Using Analogical Reasoning 使用类比推理从零开始增量学习
Vincent Letard, S. Rosset, Gabriel Illouz
{"title":"Incremental Learning from Scratch Using Analogical Reasoning","authors":"Vincent Letard, S. Rosset, Gabriel Illouz","doi":"10.1109/ICTAI.2016.0040","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0040","url":null,"abstract":"This paper explores the application of formal analogical reasoning to incremental machine learning. The applicative context is the design of an operational assistant. The specific learning task that is focused on is the transfer from requests in natural language to commands in programming language. This work explores two questions for applying analogy in incremental learning situations: How does formal analogical reasoning behave in incremental learning situation? How do the conditions on the learning sequence influence the performance? To address these issues, an experimental setup is proposed in which multiple users are simulated. The knowledge transfer from one to the other is studied. Moreover, we discuss the influence of the order in which examples are presented to the system on the learning process.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"222 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124049567","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
Clustering with Quantitative User Preferences on Attributes 基于属性的定量用户偏好聚类
Adnan El Moussawi, A. Cheriat, A. Giacometti, Nicolas Labroche, Arnaud Soulet
{"title":"Clustering with Quantitative User Preferences on Attributes","authors":"Adnan El Moussawi, A. Cheriat, A. Giacometti, Nicolas Labroche, Arnaud Soulet","doi":"10.1109/ICTAI.2016.0065","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0065","url":null,"abstract":"This paper proposes a new semi-supervised clustering framework to represent and integrate quantitative preferences on attributes. A new metric learning algorithm is derived that achieves a compromise clustering between a data-driven and a user-driven solution and converges with a good complexity. We observe experimentally that the addition of preferences may be essential to achieve a better clustering. We also show that our approach performs better than the state-of-the art algorithms.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127038733","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 Virtual Character Learns to Defend Himself in Sword Fighting Based on Q-Network 基于Q-Network的虚拟人物剑术自卫学习
Yumeng Wang, Er Li, Feng Wang, Bo Xu
{"title":"A Virtual Character Learns to Defend Himself in Sword Fighting Based on Q-Network","authors":"Yumeng Wang, Er Li, Feng Wang, Bo Xu","doi":"10.1109/ICTAI.2016.0052","DOIUrl":"https://doi.org/10.1109/ICTAI.2016.0052","url":null,"abstract":"In this paper, we create a virtual character that interacts with human player in a sword-fighting task. The data taken from a human player waving a stick as the 'sword' is mapped into the virtual environment, and the result of the collision detection during the virtual interaction is used as a reward for the reinforcement learning. We train a Q-network that animates the virtual character by rotating its joints toward the blocking the incoming attacks in each individual frame base on the current state. The trained virtual character makes quick and accurate blockings to 'sword' attacks coming in various forms. Further, a human-body dynamic model is used to predict the movements of the task irrelevant joints of the virtual character to create a more human like behavior. Experiment results demonstrate that this method can inspirit a virtual character with an automatic, human-like animation that interacts with human player in real time.","PeriodicalId":245697,"journal":{"name":"2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124515116","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学术文献互助群
群 号:481959085
Book学术官方微信