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

2012 Eighth International Conference on Intelligent Environments最新文献

筛选
英文 中文
Towards Simple and Effective Formal Methods for Intelligent Environments 面向智能环境的简单有效的形式化方法
2012 Eighth International Conference on Intelligent Environments Pub Date : 2012-06-26 DOI: 10.1109/IE.2012.26
Martin C. Henson, James Dooley, A. Al-Ghamdi, Luke Whittington
{"title":"Towards Simple and Effective Formal Methods for Intelligent Environments","authors":"Martin C. Henson, James Dooley, A. Al-Ghamdi, Luke Whittington","doi":"10.1109/IE.2012.26","DOIUrl":"https://doi.org/10.1109/IE.2012.26","url":null,"abstract":"In this paper we motivate and illustrate the use of bigraphs as a formal framework and methodology for the description, design and analysis of intelligent environment systems. Through a series of examples, we provide an overview of bigraphs, their composition, their evolution under reaction rules, and their refinement. We argue that bigraphs offer several advantages: first, they are intuitive and lie close to the topic of investigation, second, they are relatively simple to understand and deploy (in contrast to the systems they may analyse), third, they offer a means to tame complexity through multiple description at different levels of abstraction, fourth, and finally, the system itself can be usefully used without having to engage with its mathematical foundations.","PeriodicalId":156841,"journal":{"name":"2012 Eighth International Conference on Intelligent Environments","volume":"193 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122501691","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
Personalized In-Vehicle Information Systems: Building an Application Infrastructure for Smart Cars in Smart Spaces 个性化车载信息系统:为智能空间中的智能汽车构建应用基础设施
2012 Eighth International Conference on Intelligent Environments Pub Date : 2012-06-26 DOI: 10.1109/IE.2012.40
M. Moniri, M. Feld, Christian A. Müller
{"title":"Personalized In-Vehicle Information Systems: Building an Application Infrastructure for Smart Cars in Smart Spaces","authors":"M. Moniri, M. Feld, Christian A. Müller","doi":"10.1109/IE.2012.40","DOIUrl":"https://doi.org/10.1109/IE.2012.40","url":null,"abstract":"Although intelligent components in modern cars help to contribute to safe mobility, they lack important Smart Environment characteristics like personalization. Moreover, today's in-vehicle infotainment systems do not offer any interaction possibility between the passenger and the visible environment around the car. In this paper we combine several technologies and propose an approach on personalized user interaction in urban environments. We present a showcase that points out the interplay of personalized in-vehicle infotainment system and interaction with visible outside environment.","PeriodicalId":156841,"journal":{"name":"2012 Eighth International Conference on Intelligent Environments","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126444390","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
Simple and Complex Activity Recognition through Smart Phones 通过智能手机识别简单和复杂的活动
2012 Eighth International Conference on Intelligent Environments Pub Date : 2012-06-01 DOI: 10.1109/IE.2012.39
S. Dernbach, Barnan Das, N. C. Krishnan, Brian L. Thomas, D. Cook
{"title":"Simple and Complex Activity Recognition through Smart Phones","authors":"S. Dernbach, Barnan Das, N. C. Krishnan, Brian L. Thomas, D. Cook","doi":"10.1109/IE.2012.39","DOIUrl":"https://doi.org/10.1109/IE.2012.39","url":null,"abstract":"Due to an increased popularity of assistive healthcare technologies activity recognition has become one of the most widely studied problems in technology-driven assistive healthcare domain. Current approaches for smart-phone based activity recognition focus only on simple activities such as locomotion. In this paper, in addition to recognizing simple activities, we investigate the ability to recognize complex activities, such as cooking, cleaning, etc. through a smart phone. Features extracted from the raw inertial sensor data of the smart phone corresponding to the user's activities, are used to train and test supervised machine learning algorithms. The results from the experiments conducted on ten participants indicate that, in isolation, while simple activities can be easily recognized, the performance of the prediction models on complex activities is poor. However, the prediction model is robust enough to recognize simple activities even in the presence of complex activities.","PeriodicalId":156841,"journal":{"name":"2012 Eighth International Conference on Intelligent Environments","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123764196","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}
引用次数: 316
首页 上一页
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学术官方微信