This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, ...
ISBN:
(数字)9783642415241
ISBN:
(纸本)9783642415234;9783642415241
This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.
Early parallel architectures where shared memory systems (UMA, NUMA), which had the disadvantage of the shared memory bottleneck that limited the scalability of the system. In contrast, distributed memory architecture...
详细信息
Early parallel architectures where shared memory systems (UMA, NUMA), which had the disadvantage of the shared memory bottleneck that limited the scalability of the system. In contrast, distributed memory architectures with message passing (NORMAs) provided any desired scalability; however, at the cost of a substantial communication latency. The latency could be reduced by custom communication hardware (examples: SUPRENUM, MANNA) yet since there was still a software routine involved, the remaining latency was in the order of microseconds. Therefore, and because of the simpler programming model of shared memory, it became the trend of the nineties to return to UMAs and NUMAs, employing powerful communication hardware to minimize the remote memory access time.
This paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN) for analyzing the performance of node architectures for MIMD multiprocessor systems with distributed memory. DSPN are a n...
详细信息
This paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN) for analyzing the performance of node architectures for MIMD multiprocessor systems with distributed memory. DSPN are a numerically solvable modeling formalism with a graphical representation. The modeling approach supports design decisions for node architectures by providing quantitative results concerning processor and memory utilization for several design alternatives. To illustrate the proposed approach, DSPN of two node architectures are presented and employed for a comparative performance study.
The Interactive Development Environment MOSILAB has been built using a couple of Python based technologies. This paper reports on the experiences gained during this process.
The Interactive Development Environment MOSILAB has been built using a couple of Python based technologies. This paper reports on the experiences gained during this process.
It is a well-known factor that our activities of daily life play an important role for staying healthy. In order to validate different motion analysis techniques for clinical and therapeutic purposes fraunhoferfirst ...
详细信息
It is a well-known factor that our activities of daily life play an important role for staying healthy. In order to validate different motion analysis techniques for clinical and therapeutic purposes fraunhoferfirst set up a sensor-controlled testbed. The technologies investigated include time-of-flight cameras, bio-inspired optical stereo-sensors, laminar pressure and proximity sensors as well as body-worn devices including inertial sensors. This paper presents these technologies and sketches the process of sensor fusion and motion analysis being under implementation in the fraunhofer Motion technology Validation Lab.
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic envir...
详细信息
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic environment while reducing costs due to hospital visits seems to be an evaluable opportunity on the one hand but introduces a lot of challenges, like interoperability and security, on the other. Interoperability is the main challenge to put emphasis on, when thinking of networks of medical devices recording patients vital data while acting in a plug-and-play manner. Thus, standards are needed that enable manufacturers to build interoperable medical devices and provide solutions for cost effective and easy to use telemedicine systems. Therefore this paper analyzes the ISO/IEEE11073 PHD standard towards its applicability in such environments, where the focus lies on self-organization and plug-and-play functionality. Furthermore we want to present research done on telemedicine/AAL systems during the SmartSenior project as well as introduce our own ISO/IEEE11073 implementation, which served as a basis for our analysis.
The latest research in the development of technologies that will allow humans to communicate, using brain signals only, with computers, wheelchairs, prostheses, and other *** in developing an effective communication i...
详细信息
ISBN:
(纸本)9780262042444
The latest research in the development of technologies that will allow humans to communicate, using brain signals only, with computers, wheelchairs, prostheses, and other *** in developing an effective communication interface connecting the human brain and a computer has grown rapidly over the past decade. The brain-computer interface (BCI) would allow humans to operate computers, wheelchairs, prostheses, and other devices, using brain signals only. BCI research may someday provide a communication channel for patients with severe physical disabilities but intact cognitive functions, a working tool in computational neuroscience that contributes to a better understanding of the brain, and a novel independent interface for human-machine communication that offers new options for monitoring and control. This volume presents a timely overview of the latest BCI research, with contributions from many of the important research groups in the field. The book covers a broad range of topics, describing work on both noninvasive (that is, without the implantation of electrodes) and invasive approaches. Other chapters discuss relevant techniques from machine learning and signal processing, existing software for BCI, and possible applications of BCI research in the real world.
Data-parallel applications are usually programmed in the SPMD paradigm by using a message passing system such as MPI or PVM. However programming by using message passing primitives is still tedious and error-prone. Th...
详细信息
ISBN:
(纸本)0818678763
Data-parallel applications are usually programmed in the SPMD paradigm by using a message passing system such as MPI or PVM. However programming by using message passing primitives is still tedious and error-prone. This paper presents an abstraction of message passing programming in C++ to relieve programmers of low-level considerations. The runtime overhead introduced by the abstraction is shown to be negligible.
DAB (Digital Audio Broadcasting) service is becoming a cheap new media with good performance. Since 2008 Beijing Olympic Game DAB traffic information broadcasting has being severed at Beijing Radio Station by 1039 cha...
详细信息
DAB (Digital Audio Broadcasting) service is becoming a cheap new media with good performance. Since 2008 Beijing Olympic Game DAB traffic information broadcasting has being severed at Beijing Radio Station by 1039 channel. Under the framework of project Metrasys (Mega Region Transport System for China) which is funded by the Ministry of German Education and Research, a TPEG based DAB traffic information broadcasting system is built at the city of Hefei by Germany-Sino experts at the beginning of 2010. In the first section of the paper the background of DAB technology was introduced, then the system diagram and its configuration was mentioned in the second section. The unique feature of Hefei DAB system was to adopt the international TPEG standard, in the third section eight classes of traffic information was defined by TPEG. In the fourth section the structure of OBU (On Board Unit) was described briefly. Section described DAB broadcast program flow at Anhui Radio Station and its performance, and finally a conclusion was given.
暂无评论