Proceedings of the Symposium on Applied Computing最新文献_第8页

SmartSen: smart sensing for enhancing real-time activity recognition in phone-based interactive CPS SmartSen:智能传感，用于增强基于手机的交互式CPS的实时活动识别

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019648

Huan Li, Qinghua Yu, K. Ramamritham, Xiaotao Liu

{"title":"SmartSen: smart sensing for enhancing real-time activity recognition in phone-based interactive CPS","authors":"Huan Li, Qinghua Yu, K. Ramamritham, Xiaotao Liu","doi":"10.1145/3019612.3019648","DOIUrl":"https://doi.org/10.1145/3019612.3019648","url":null,"abstract":"Using mobile devices to enhance users interaction with CPS has many potential benefits for healthcare applications. Recent research has looked at how to recognize human activities using smartphones, to indicate health status. But little attention has been paid to automatically identify the activity habits of individuals in real-time. Of course, the energy constraint in smartphones must be considered during the design of such cyber-physical recognition systems. In this paper, we propose a prediction-based smart sensing strategy that is energy efficient and works in real-time. By making use of the temporal correlation property of real-world phenomena, an adaptive k-order Markov chain based prediction algorithm is proposed to avoid continuous sensing so that significant energy savings can be achieved. The prediction results are analyzed online in real-time, to ensure that the system can track an individual's behavior pattern and provide timely response to changes in behavior. Real-world experiments using our prototype show that such recognition oriented CPS systems can not only achieve energy savings, but also converge to steady state with high individual recognition accuracy, in a real-time manner.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"25 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82846963","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 versatile high-performance visual fiducial marker detection system with scalable identity encoding 具有可扩展身份编码的多功能高性能视觉基准标记检测系统

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019709

P. Lightbody, T. Krajník, Marc Hanheide

引用次数: 35

Session details: PAPP - practical aspects of high-level parallel programming track 会议细节:PAPP -高级并行编程轨道的实用方面

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3243972

引用次数: 0

Analyzing emotion words to predict severity of software bugs: a case study of open source projects 分析情感词以预测软件bug的严重程度:开源项目的案例研究

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019788

Geunseok Yang, Seungsuk Baek, Jung-Won Lee, Byungjeong Lee

引用次数: 35

Service-oriented domain and business process modelling 面向服务的领域和业务流程建模

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019621

G. Reggio, Maurizio Leotta, Diego Clerissi, F. Ricca

引用次数: 7

Towards energy-efficient storage servers 迈向节能存储服务器

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019742

Vinícius R. Machado, A. Braga, Natália Rampon, J. L. Bez, F. Boito, Rodrigo Kassick, E. Padoin, J. Diaz, J. Méhaut, P. Navaux

引用次数: 4

DyNetVis: a system for visualization of dynamic networks 动态网络可视化系统

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019686

Claudio D. G. Linhares, B. Travençolo, J. G. Paiva, Luis E C Rocha

{"title":"DyNetVis: a system for visualization of dynamic networks","authors":"Claudio D. G. Linhares, B. Travençolo, J. G. Paiva, Luis E C Rocha","doi":"10.1145/3019612.3019686","DOIUrl":"https://doi.org/10.1145/3019612.3019686","url":null,"abstract":"The concept of networks has been important in the study of complex systems. In networks, links connect pairs of nodes forming complex structures. Studies have shown that networks not only contain structure but may also evolve in time. The addition of the temporal dimension adds complexity on the analysis and requests the development of innovative methods for the visualization of real-life networks. In this paper we introduce the Dynamic Network Visualization System (DyNetVis), a software tool for visualization of dynamic networks. The system provides several tools for user interaction and offers two coordinated visual layouts, named structural and temporal. Structural refers to standard network drawing techniques, in which a single snapshot of nodes and links are placed in a plane, whereas the temporal layout allows for simultaneously visualization of several temporal snapshots of the dynamic network. In addition, we also investigate two approaches for temporal layout visualization: (i) Recurrent Neighbors, a node ordering strategy that highlights frequent connections in time, and (ii) Temporal Activity Map (TAM), a layout technique with focus on nodes activity. We illustrate the applicability of the layouts and interaction functionalities provided by the system in two visual analysis case studies, demonstrating their advantages to improve the overall user experience on visualization and exploratory data analysis on dynamic networks.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"35 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84703502","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}

引用次数: 31

Propagating degrees of truth on an argumentation framework: an abstract account of fuzzy argumentation 在论证框架上传播真理度:模糊论证的抽象描述

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019717

Pierpaolo Dondio

引用次数: 12

Bridging context and data warehouses through ontologies 通过本体桥接上下文和数据仓库

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019838

Okba Barkat, Selma Khouri, Ladjel Bellatreche, Boustia Narhimene

{"title":"Bridging context and data warehouses through ontologies","authors":"Okba Barkat, Selma Khouri, Ladjel Bellatreche, Boustia Narhimene","doi":"10.1145/3019612.3019838","DOIUrl":"https://doi.org/10.1145/3019612.3019838","url":null,"abstract":"Nowadays, we are assisting to three continuously demands from companies: (i) developing analytical applications around Data Warehouse systems (DW) from numerous data sources, (ii) the explicitation the semantic of these sources to reduce heterogeneities and (iii) contextualization of sources. By examining the literature, we identify the existence of several efforts attempting to offer solutions merging these three issues. The merging has been performed partially. To be more concrete, we have identified that the two first demands have been merged. Similarly, the second and the third ones gave raise to contextual ontologies. Unfortunately, all three are not well merged. This paper proposes a comprehensive methodology to design multi-contextual semantic DWs. Our approach consists first in merging context and ontologies and then with DWs. Firstly, a connection between ontologies and context model is built at meta model level. Secondly, a formalization of multi-contextual semantic data warehouse is given, followed by a deep description of the most important steps of the data warehouse design. Finally, a case tool and experiments are conducted using a contextualized hospital ontology to show the effectiveness of our approach.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"30 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84412923","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}

引用次数: 7

A reconstruction of default conditionals within epistemic logic 认知逻辑中默认条件的重构

Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019714

Costas D. Koutras, C. Moyzes, Christos Rantsoudis

{"title":"A reconstruction of default conditionals within epistemic logic","authors":"Costas D. Koutras, C. Moyzes, Christos Rantsoudis","doi":"10.1145/3019612.3019714","DOIUrl":"https://doi.org/10.1145/3019612.3019714","url":null,"abstract":"Default conditionals are statements that express a condition of normality, in the form 'ifφ then normally ψ' and are of primary importance in Knowledge Representation. There exist modal approaches to the construction of conditional logics of normality. Most of them are built on notions of preference among possible worlds, corresponding to the semantic intuition that (φ ⇒ &psi) is true in a situation if in the most preferred (most 'normal') situations in which φ is true, &psi is also true. It has been noticed that there exist natural epistemic readings of a default conditional, but this direction has not been thoroughly explored. A statement of the form 'something known to be a bird, that can be consistently believed to fly, does fly' involves well-known epistemic attitudes and allows the possibility of defining defaults within the rich framework of Epistemic Logic. We pursue this direction here within KBE, a recently introduced S4.2-based modal logic of knowledge, belief and estimation. In this logic, knowledge is a normal S4 operator, belief is a normal KD45 operator and estimation is a non-normal operator interpreted as a 'majority' quantifier over the set of epistemically alternative situations. We define and explore various conditionals using the epistemic operators of KBE, capturing (φ ⇒ &psi) in various ways, including 'it is known that assuming φ allows us to assume φ ∧ &psi' or 'if φ is known and there is no reason to believe ¬ψ then ψ can be plausibly inferred'. Overall, we define here two weak nonmonotonic default conditionals, one monotonic conditional and two stronger nonmonotonic conditionals without axiom ID. Our results provide concrete evidence that the machinery of epistemic logic can be exploited for the study of default conditionals.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"10 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84405960","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