We show that the class of Boolean contact algebras has the joint embedding property and the amalgamation property, and that the class of connected Boolean contact algebras has the joint embedding property but not the ...
详细信息
This article was originally published online on 27 November 2012 with an error in Eqs. (2) and (3). The term k2 above the arrows in each equation should have be
This article was originally published online on 27 November 2012 with an error in Eqs. (2) and (3). The term k2 above the arrows in each equation should have be
Several general benchmark generators (BGs) are available for the dynamic continuous optimization domain, in which generators use functions with adjustable parameters to simulate shifting landscapes. In the combinatori...
详细信息
We examine a related, but distinct, problem to spam detection. Instead of trying to decide if email is spam or ham, we try to determine if email purporting to be from a known correspondent actually comes from that per...
详细信息
A critical issue in designing a self-paced brain computer interface (BCI) system is onset detection of the mental task from the continuous electroencephalogram (EEG) signal to produce a brain switch. This work shows s...
详细信息
ISBN:
(数字)9783642344787
ISBN:
(纸本)9783642344770
A critical issue in designing a self-paced brain computer interface (BCI) system is onset detection of the mental task from the continuous electroencephalogram (EEG) signal to produce a brain switch. This work shows significant improvement in a movement based self-paced BCI by applying a new sparse learning classification algorithm, probabilistic classification vector machines (PCVMs) to classify EEG signal. Constant-Q filters instead of constant bandwidth filters for frequency decomposition are also shown to enhance the discrimination of movement related patterns from EEG patterns associated with idle state. Analysis of the data recorded from seven subjects executing foot movement using the constant-Q filters and PCVMs shows a statistically significant 17% (p
In this paper, we propose a wireless high resolution video transmission system with encryption and authentication. The proposed system is implemented by JPEG 2000 coding. We implement JPEG 2000 coder by GPU in CUDA wh...
详细信息
ISBN:
(纸本)9781467331487
In this paper, we propose a wireless high resolution video transmission system with encryption and authentication. The proposed system is implemented by JPEG 2000 coding. We implement JPEG 2000 coder by GPU in CUDA which is an integrated development environment for GPU, or by JPEG 2000 codec LSI. Moreover, the authentication system can check the user information in encrypted domain using Paillier encryption. Therefore, this system is more secure than conventional systems. We show that the proposed system can achieve 4K size coding by 2.34fps with CUDA, and HD size coding by 29.98 fps with LSI codec. In addition, we demonstrate that the authentication using Paillier encryption is successful.
Scheduling and resource allocation in large scale distributed environments, such as Computational Grids (CGs), arise new requirements and challenges not considered in traditional distributed computing environments. Am...
详细信息
Software process definition is a complex, time consuming and error prone activity. Such activity can be facilitated by a process reuse strategy. This strategy can be implemented through a context-based process line ap...
详细信息
Software process definition is a complex, time consuming and error prone activity. Such activity can be facilitated by a process reuse strategy. This strategy can be implemented through a context-based process line approach. Based on the data from this approach and following its systematic, this work presents a proposal to software processes composition and optimization (COMPOOTIM). The purpose is to support the project manager's decisions and automate the composition of a project specific process. COMPOOTIM optimizes the suggestion of processes to the context of a particular project. A usage scenario for process selection exemplifies the use of COMPOOTIM.
In this paper, we propose an improved low complexity algorithm for spatial scalability of H.264/SVC on the basis of the motions in the sequences. First, verification is performed to confirm the redundancy of the previ...
详细信息
The purpose of this work is to provide an enhanced adaptive approach to classic queue-based Bandwidth-on-Demand (BoD) procedures in broadband satellite networks. In queue-based schemes, the controller's objective ...
详细信息
ISBN:
(纸本)9781467346887
The purpose of this work is to provide an enhanced adaptive approach to classic queue-based Bandwidth-on-Demand (BoD) procedures in broadband satellite networks. In queue-based schemes, the controller's objective is to drive the buffer queue length to an appropriate reference queue length, and the efficiency of the control strictly depends on the choice of its reference value. In latest approaches, solutions to adaptively modify the target reference queue length based on a set of network information have been proposed;nevertheless, in such approaches, the satellite terminals should base their control strategies on information which are not available to them, according to the communication standards of state-of-the-art technologies, such as DVB-RCS. The novelty of the presented algorithm is that it overcomes this limit by dynamically changing the reference queue length, based on information actually broadcast to the network terminals;the algorithm is at same time simple and effective, and is based on a game-theoretic approach which benefits of recent advances in congestion pricing theory. The effectiveness of the proposed approach is supported by Opnet® simulations as well as by considerations about the real implementability of the solution.
暂无评论