We are rapidly heading towards a world in which the computing infrastructure will contain billions of devices, which will interact with other computing/communications devices that are carried or worn by users as they ...
详细信息
ISBN:
(数字)9783540363897
ISBN:
(纸本)9783540003939
We are rapidly heading towards a world in which the computing infrastructure will contain billions of devices, which will interact with other computing/communications devices that are carried or worn by users as they go through their daily routines. Such devices will provide data access to mobile users as they move within buildings, cities, or across the globe. This new infrastructure presents tremendous challenges for data management technology, including: huge scale; variable and intermittent connectivity; location and context-aware applications; bandwidth, power, and devi- size limitations; and multimedia data delivery across hybrid networks and systems. Traditional data management technologies such as query processing, transaction management, workflow, business process management, and metadata management must all be reevaluated in this emerging environment. Furthermore, nontraditional issues such as the semantics of mobile data, location-dependent querying, broadcast and multicast delivery, and caching/prefetching techniques must all be addressed. The ability to track people as they move about their daily tasks raises serious issues of security and privacy. This conference is the fourth in the Mobile Data Management series, focusing on the challenges and opportunities for the management of data in mobile, pervasive, and wearable computing. MDM 2000 and 2001 were in Hong Kong and MDM 2002 was in Singapore. Eighty-seven papers were submitted to the conference from 23 countries and were subject to a rigorous review procedure. Every paper had three or four independent reviews. Twenty-one full papers and 15 short papers from both academia and industry were selected for publication in this volume of proceedings.
The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20–22, ...
详细信息
ISBN:
(数字)9783540899624
ISBN:
(纸本)9783540899617
The Second Workshop of Blended Learning (WBL 2008), as part of the 7th Inter- tional Conference on Web-Based Learning (ICWL 2008), was held in Zhejiang N- mal University, Jinhua, Zhejiang, China during August 20–22, 2008. WBL 2008 provided an international forum for the dissemination of original results in the design, implementation, and evaluation of blended learning systems and related areas. In particular, the aim of WBL 2008 was to bring together researchers from academia as well as commercial developers from industry to explore ideas, exchange and share experiences, and further build the blended learning research network. The inspirations and new ideas were expected to emerge from intensive discussions during formal sessions and social activities. The main focus of WBL 2008 was on the most critical areas of blended learning, namely, ‘e-Learning Platforms and Tools,’ ‘Design, Model and Framework of e- Learning Systems,’ ‘Practice and Experience Sharing,’ and ‘Pedagogical Issues.’ In total, the workshop selected 17 papers from authors of different countries for presen- tion and publication, a task which was not easy due to the high quality of the subm- ted papers. Using stringent selection criteria, submissions were rigorously reviewed based on their originality, significance, relevance, and clarity of presentation by an international Program Committee from Germany, Spain, UK, Italy, Ireland, Romania, Hong Kong, Japan, Taiwan, and Macao.
Recent years have witnessed the increasing prevalence of smart home applications, where digital twin (DT) is popularly employed for creating virtual models that interact with physical devices in real time. Empowered b...
详细信息
Recent years have witnessed the increasing prevalence of smart home applications, where digital twin (DT) is popularly employed for creating virtual models that interact with physical devices in real time. Empowered by artificial intelligence (AI), these DT-created virtual models have more intelligent decision-making capabilities to ensure reliable performance of a smart home system. In this paper, a DT based smart home framework is investigated. It is capable of achieving intelligent control, healthcare prediction and graphical monitoring. First, the human body and device are individually modeled, and then assembled into a DT system, and the corresponding model interfaces are provided for visual monitoring. Then, an intelligent algorithm fusing VGG, LSTM and attention mechanism is developed for healthcare monitoring, i.e., the screening out of the irregular ECG rhythms. The system results are provided, including various high-fidelity interactive DT interfaces as well as the effectiveness and advantages of the intelligent algorithms for arrhythmia detection.
th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16–18, 2009. The Federation of International Robosoccer Association (FIRA – www. fira. net) is ...
详细信息
ISBN:
(数字)9783642039867
ISBN:
(纸本)9783642039850
th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16–18, 2009. The Federation of International Robosoccer Association (FIRA – www. fira. net) is a non-profit organization, which organizes robotic competitions and meetings around the globe annually. The RoboSoccer competitions started in 1996 and FIRA was - tablished on June 5, 1997. The Robot Soccer competitions are aimed at promoting the spirit of science and technology to the younger generation. The congress is a forum in which to share ideas and future directions of technologies, and to enlarge the human networks in robotics area. The objectives of the FIRA Cup and Congress are to explore the technical dev- opment and achievement in the field of robotics, and provide participants with a robot festival including technical presentations, robot soccer competitions and exhibits - der the theme “Where Theory and Practice Meet. ” th Under the umbrella of the 12 FIRA RoboWorld Incheon Congress 2009, six int- national conferences were held for greater impact and scientific exchange: th • 6 International Conference on Computational Intelligence, Robotics and Autonomous Systems (CIRAS) th • 5 International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE) • International Conference on Social Robotics (ICSR) • International Conference on Advanced Humanoid Robotics Research (ICAHRR) • International Conference on Entertainment Robotics (ICER) • International Robotics Education Forum (IREF) This volume consists of selected quality papers from the six conferences.
The two-volume set LNCS 6987 and 6988 constitutes the refereed proceedings of the International Conference on Web Information Systems and Mining, WISM 2011, held in Taiyuan, China, in September 2011. The 112 revised f...
详细信息
ISBN:
(数字)9783642239823
ISBN:
(纸本)9783642239816
The two-volume set LNCS 6987 and 6988 constitutes the refereed proceedings of the International Conference on Web Information Systems and Mining, WISM 2011, held in Taiyuan, China, in September 2011. The 112 revised full papers presented were carefully reviewed and selected from 472 submissions. The second volume includes 56 papers organized in the following topical sections: management information systems; semantic Web and ontologies; Web content mining; Web information classification; Web information extraction; Web intelligence; Web interfaces and applications; Web services and e-learning; and XML and semi-structured data.
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the parad...
详细信息
ISBN:
(数字)9780387281834
ISBN:
(纸本)9780387237596;9781441920140
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex softwareengineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”*** framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis. These applications constitute an exemplary justi?cation of the framework. Also, in and of themselves, these approaches to synthesis should be interesting forresearchers working in the target problem domains.
暂无评论