In this paper we discuss the importance of information systems in modeling interactive computations performed on (complex) granules and propose a formal approach to interactive computations based on information system...
详细信息
ISBN:
(纸本)9783642135286
In this paper we discuss the importance of information systems in modeling interactive computations performed on (complex) granules and propose a formal approach to interactive computations based on information systems. the basic concepts of information systems and rough sets are interpreted in the framework of interactive computations. We also show that information systems can be used for modeling more advanced forms of interactions such as hierarchical ones. the role of hierarchical interactions is emphasized in modeling interactive computations. Some illustrative examples of interactions used in the hierarchical multimodal classification method as well as in the ACT-R 6.0 system are reported.
the consideration of context information in physicians search for medical knowledge and information offers good prospects to improve the quality of the delivered search results from heterogeneous eResources. Within th...
详细信息
ISBN:
(纸本)9783642154010
the consideration of context information in physicians search for medical knowledge and information offers good prospects to improve the quality of the delivered search results from heterogeneous eResources. Within the scope of this contribution the authors introduce their information logistic approach towards a context-based information supply for physicians. Basically, this approach encloses a comprehensive context model, which is divided into the four sub models "process", "clinical case", "physician" and "environment". the prototypical implementation of a context application uses an excerpt from the model. the application is based on a context middleware and was used as a basis for an empiric validation of the approach during practical tests and two laboratory experiments. the contribution concludes with an outlook on future needs for research regarding context-based information supply and information logistics in general.
this study assesses the performance of several alternative methods for modeling dependence between random variables in the context of pricing an agricultural insurance contract with multiple underlying risk exposures....
详细信息
ISBN:
(纸本)9781845644727
this study assesses the performance of several alternative methods for modeling dependence between random variables in the context of pricing an agricultural insurance contract with multiple underlying risk exposures. Simulation methods are used to estimate the sampling distribution of the insurance rates generated under alternative methods. the results indicate significant variability in performance across methods, and contribute to the risk analysis and insurance literatures by quantitatively assessing out-of-sample efficiency and bias trade-off among competing methods for modeling dependence in limited data scenarios.
We present a HMM based system for real-time gesture analysis. the system outputs continuously parameters relative to the gesture time progression and its likelihood. these parameters are computed by comparing the perf...
详细信息
ISBN:
(纸本)9783642125522
We present a HMM based system for real-time gesture analysis. the system outputs continuously parameters relative to the gesture time progression and its likelihood. these parameters are computed by comparing the performed gesture with stored reference gestures. the method relies on a detailed modeling of multidimensional temporal curves. Compared to standard HMM systems, the learning procedure is simplified using prior knowledge allowing the system to use a single example for each class. Several applications have been developed usingthis system in the context of music education, music and dance performances and interactive installation. Typically, the estimation of the time progression allows for the synchronization of physical gestures to sound files by time stretching/compressing audio buffers or videos.
Security inspections, especially in the early development stage, are becoming increasingly important for bringing security-relevant aspects into software systems. Nowadays, such inspections often do not focus in detai...
详细信息
ISBN:
(纸本)9780769539652
Security inspections, especially in the early development stage, are becoming increasingly important for bringing security-relevant aspects into software systems. Nowadays, such inspections often do not focus in detail on security. the well-known and approved benefits of inspections do not exploit their full potential regarding security. thus, we have developed the Security Goal Indicator Tree (SGIT) for eliminating existing shortcomings. SGITs are a new approach for modeling and checking security-relevant aspects during the entire software development lifecycle. this article describes the modeling of such security-goal-based trees as part of requirements engineering. Initial experience was gathered from creating SGITs in an industrial environment. After the probands of our industry partner received training on existing security models, the necessary knowledge for creating security models was collected and applied. this resulted in three context-specific SGITs discussed in this article.
Many Web applications provide personalized and adapted services and contents to their users. As these Web applications are becoming increasingly connected, a new interesting challenge in their engineering is to allow ...
详细信息
ISBN:
(纸本)9783642139109
Many Web applications provide personalized and adapted services and contents to their users. As these Web applications are becoming increasingly connected, a new interesting challenge in their engineering is to allow the Web applications to exchange, reuse, integrate, interlink, and enrich their data and user models, hence, to allow for user modeling and personalization across application boundaries. In this paper, we present the Grapple User modeling Framework (GUMF) that facilitates the brokerage of user profile information and user model representations. We show how the existing GUMF is extended with a new method that is based on configurable derivation rules that guide a new knowledge deduction process. using our method, it is possible not only to integrate data from GUMF dataspaces, but also to incorporate and reuse RDF data published as Linked Data on the Web. therefore, we introduce the so-called Grapple Derivation Rule (GDR) language as well as the corresponding GDR Engine. Further, we showcase the extended GUMF in the context of a concrete project in the e-learning domain.
the proceedings contain 51 papers. the special focus in this conference is on Ubiquitous Intelligence and Computing. the topics include: the making of a dataset for smart spaces;introduction to the business processes ...
ISBN:
(纸本)9783642163548
the proceedings contain 51 papers. the special focus in this conference is on Ubiquitous Intelligence and Computing. the topics include: the making of a dataset for smart spaces;introduction to the business processes with ambient media - challenges for ubiquitous and pervasive systems;a steerable tangible interface and its evaluation;alerting accidents with ambiguity: A tangible tabletop application for safe and independent chemistry experiments;dependency relation based detection of lexicalized user goals;identification of gait patterns related to health problems of elderly;an energy efficient localization strategy for outdoor objects based on intelligent light-intensity sampling;RESS: A data dissemination protocol using residual energy and signal strength for wireless sensor networks;Design and implementation of mobile sink node in SDMA applications;ubiquitous experience media;RCO: A multi-channel MAC protocol with random cooperation for sensor networks;Power and bandwidth efficiency of IEEE 802.15.4 wireless sensor networks;protecting source location privacy in wireless sensor networks with data aggregation;a middleware for intelligent environments and the internet of things;an infrastructure for real objects augmentation with additional personalized information services;a low-cost ubiquitous family healthcare framework;a lattice-theoretic approach to runtime property detection for pervasive context;modeling files withcontext streams;CASPER: Mining personalized services;a simple public-goods game based incentive mechanism for resource provision in P2P networks;the operating system for the computer of the 21st century;a novel framework for service description and operations;a self-adaptive hardware/software system architecture for ubiquitous computing applications;toward distributed declarative control of networked cyber-physical systems.
Parallel robots seem to be the most suitable spots requiring high performance such as speed and accuracy. Such performances sought now are that the dynamics of parallel structures is no longer negligible. this work re...
详细信息
ISBN:
(纸本)9782952474764
Parallel robots seem to be the most suitable spots requiring high performance such as speed and accuracy. Such performances sought now are that the dynamics of parallel structures is no longer negligible. this work represents a contribution in this latter context;it deals in the whole dynamic study of a parallel robot with six degrees of freedom constituting the so-called Gough Stewart platform. In determining the direct and inverse geometric model, we use a setup based on Khalil and Kjeinfmger ratings [7] for structures with closed loops. the kinematical modeling, usingthe calculation of the Jacobian matrix and its inverse, were deduced from the joint velocities of the six cylinders in order to follow a desired trajectory for the platform. the Newton Euler formalism is used to model the dynamics of the robot and the first to consider each kinematics chain (legs) as a serial structure, and then by considerations of balance and closed chain, we determine the dynamics of the platform.
three dimensional stacked integrated circuits (3D ICs) are extremely attractive for overcoming the barriers in interconnect scaling, offering an opportunity to continue the CMOS performance trends for the next decade....
详细信息
ISBN:
(纸本)9781424481927
three dimensional stacked integrated circuits (3D ICs) are extremely attractive for overcoming the barriers in interconnect scaling, offering an opportunity to continue the CMOS performance trends for the next decade. However, from a thermal perspective, vertical integration of high-performance ICs in the form of 3D stacks is highly demanding since the effective areal heat dissipation increases with number of dies (with hotspot heat fluxes up to 250W/cm(2)) generating high chip temperatures. In this context, inter-tier integrated microchannel cooling is a promising and scalable solution for high heat flux removal. A robust design of a 3D IC and its subsequent thermal management depend heavily upon accurate modeling of the effects of liquid cooling on the thermal behavior of the IC during the early stages of design. In this paper we present 3D-ICE, a compact transient thermal model (CTTM) for the thermal simulation of 3D ICs with multiple inter-tier microchannel liquid cooling. the proposed model is compatible with existing thermal CAD tools for ICs, and offers significant speed-up (up to 975x) over a typical commercial computational fluid dynamics simulation tool while preserving accuracy (i.e., maximum temperature error of 3.4%). In addition, a thermal simulator has been built based on 3D-ICE, which is capable of running in parallel on multicore architectures, offering further savings in simulation time and demonstrating efficient parallelization of the proposed approach.
Suppressed fuzzy c-means (s-FCM) clustering was introduced withthe intention of combining the higher convergence speed of hard c-means (HCM) clustering withthe finer partition quality of fuzzy c-means (FCM) algorith...
详细信息
ISBN:
(纸本)9783642162916
Suppressed fuzzy c-means (s-FCM) clustering was introduced withthe intention of combining the higher convergence speed of hard c-means (HCM) clustering withthe finer partition quality of fuzzy c-means (FCM) algorithm. Suppression modifies the FCM iteration by creating a competition among clusters: lower degrees of memberships are reduced via multiplication with a previously set constant suppression rate, while the largest fuzzy membership grows by swallowing all the suppressed parts of the small ones. Suppressing the FCM algorithm was found successful in terms of accuracy and working time. In this paper we introduce some generalized formulations of the suppression rule, leading to an infinite number of new clustering algorithms. Based on a large amount of numerical tests performed in multidimensional environment, some generalized forms of suppression proved to give more accurate partitions than FCM and s-FCM.
暂无评论