![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Estimation of Greenhouse Gas Emissions in Cement Manufacturing Process Through Blockchain and SSL Based IoT Data Analysis
Recently, the Internet of Things (IoT) system, which supports human activities based on various types of real data, has attracted attention in various fields. However, the behavior of the system is determined ...
-
Chapter and Conference Paper
Design and Mobile Tracking Performance of a Retro-Directive Array (RDA) Antenna System
Beamforming is one of the most important technologies for wireless communication systems. A beamforming antenna system can control the radiation beam pattern and thus can reduce power consumption, compared wi...
-
Chapter and Conference Paper
Main Content Extraction from Web Documents Using Text Block Context
Due to various Web authoring tools, the new web standards, and improved web accessibility, a wide variety of Web contents are being produced very quickly. In such an environment, in order to provide appropriat...
-
Chapter and Conference Paper
Data Dissemination Protocol Based on Home Agent and Access Node for Mobile Sink in Mobile Wireless Sensor Networks
Achieving efficient data dissemination to a mobile sink moving is one of the main challenges in wireless sensor networks. In this paper, we describe DHA, a data Dissemination protocol based on Home agent and A...
-
Chapter and Conference Paper
Multiplicative Attribute Graph Model of Real-World Networks
Large scale real-world network data such as social and information networks are ubiquitous. The study of such networks seeks to find patterns and explain their emergence through tractable models. In most netwo...
-
Chapter and Conference Paper
Multi-level Independent Component Analysis
This paper presents a new method which uses multi-level density estimation technique to generate score function in ICA (independent Component Analysis). Score function is very closely related with density func...
-
Chapter and Conference Paper
Collaborative Filtering Based on Neural Networks Using Similarity
Recommendation is to offer information which fits user’s interests and tastes to provide better services and to reduce information overload. It recently draws attention upon Internet users and information prov...
-
Chapter and Conference Paper
Design and Implementation of the Modified R-Tree Structure with Non-blocking Querying
In highly concurrent field such as location based services, massive objects are moving concurrently. Due to continuously changing nature of their location, traditional indexes cannot provide the real-time resp...
-
Chapter and Conference Paper
An Efficient Score Function Generation Algorithm with Information Maximization
In this study, we propose this new algorithm that generates score function in ICA (Independent Component Analysis) using entropy theory. To generate score function, estimation of probability density function a...
-
Chapter and Conference Paper
A Bitmap Index for Multidimensional Data Cubes
Multidimensional arrays can be used to store multidimensional data cubes. One way of storing such array onto disk is to partition the array into a set of small chunks that can fit in a disk block. Chunks are u...
-
Chapter and Conference Paper
Erratum to: Formal Techniques for Networked and Distributed Systems
Erratum to: M. Kim et al. (Eds.) Formal Techniques for Networked and Distributed Systems DOI: 10.1007/978-0-306-47003-5 ...
-
Chapter and Conference Paper
Handling Structural Divergences and Recovering Dropped Arguments in a Korean/English Machine Translation System
This paper describes an approach for handling structural divergences and recovering dropped arguments in an implemented Korean to English machine translation system. The approach relies on canonical predicate-...
-
Chapter
An enhanced model for testing asynchronous communicating systems
This paper studies the problem of testing concurrent systems considered as blackboxes and specified using asynchronous Communicating Finite State Machines. In our previous work [Kim 96], an approach to derive ...
-
Chapter
Interoperability Test Suite Derivation for the TCP
A test derivation method suitable for testing interoperability for the class of communication protocols like the ATMB-ISDN signaling protocol was proposed in [KanK 97]. Up to now, there is no work implementing...