Hardware-software partitioning of real-time operating systems using Hopfield neural networks
The hardware–software automated partitioning of a real-time operating system in the system-on-a-chip (SoC-RTOS partitioning) is a NP-complete problem, and a crucial step in the hardware–software co-design of SoC. In this paper, a new model for SoC-RTOS partitioning is introduced, which can help in understanding the essence of the SoC-RTOS partitioning. A discrete Hopfield neural network approach for implementing the SoC-RTOS partitioning is proposed, where a novel energy function, operating equation and coefficients of the neural network are redefined. Simulations are carried out with comparison to other optimization techniques. Experimental results demonstrate the feasibility and effectiveness of the proposed method.

title: Protein Sequences Classification Using Modular RBF Neural Networks
abstract: A protein super-family consists of proteins which share amino acid sequence homology and which may therefore be functionally and structurally related. One of the benefits from this category grouping is that some hint of function may be deduced for individual members from information on other members of the family. Traditionally, two protein sequences are classified into the same class if they have high homology in terms of feature patterns extracted through sequence alignment algorithms. These algorithms compare an unseen protein sequence with all the identified protein sequences and returned the higher scored protein sequences. As the sizes of the protein sequence databases are very large, it is a very time consuming job to perform exhaustive comparison of existing protein sequence. Therefore, there is a need to build an improved classification system for effectively identifying protein sequences. This paper presents a modular neural classifier for protein sequences with improved classification criteria. The intelligent classification techniques described in this paper aims to enhance the performance of single neural classifiers based on a centralized information structure in terms of recognition rate, generalization and reliability. The architecture of the proposed model is a modular RBF neural network with a compensational combination at the transition output layer. The connection weights between the final output layer and the transition output layer are optimized by delta rule, which serve as an integrator of the local neural classifiers. To enhance the classification reliability, we present two heuristic rules to apply to decision-making. Two sets of protein sequences with ten classes of superfamilies downloaded from a public domain database, Protein Information Resources (PIR), are used in our simulation study. Experimental results with performance comparisons are carried out between single neural classifiers and the proposed modular neural classifier.

title: Trading off between Misclassification, Recognition and Generalization in Data Mining with Continuous Features
abstract: This paper aims at developing a data mining approach for classification rule representation and automated acquisition from numerical data with continuous attributes. The classification rules are crisp and described by ellipsoidal regions with different attributes for each individual rule. A regularization model trading off misclassification rate, recognition rate and generalization ability is presented and applied to rule refinement. A regularizing data mining algorithm is given, which includes self-organizing map network based clustering techniques, feature selection using breakpoint technique, rule initialization and optimization, classifier structure and usage. An Illustrative example demonstrates the applicability and potential of the proposed techniques for domains with continuous attributes.

title: A Hybird Image Retrieval System with User's Relevance Feedback Using Neurocomputing
abstract: This paper aims at developing a hybrid scheme for intelligent image retrieval using neural nets. Each item in an image database is indexed by a visual feature vector, which is extracted using color moments and discrete cosine transform coefficients. Query is characterized by a set of semantic labels, which are predefined by system designers and associated with domain concerns. The proposed hybrid image retrieval (HIR) system utilizes the image content features as the system input, and the semantic labels as its output. To compensate the deficiency of semantics modelling, an on-line user’s relevance feedback is applied to improve the retrieval performance of the HIR system. The neural net acts like a pattern association memory bank that maps the low-level feature vectors to their corresponding semantic labels. During the retrieval process, the weights of the neural net are updated by an interactive user’s relevance feedback technique, where the feedback signal comprise the neural net actual output, semantic labels provided by users and the given query. A prototype HIR system is implemented and evaluated using an artificial image database. Experimental results demonstrate that our proposed techniques are promising.

title: E-Coli Promoter Recognition Using Neural Networks with Feature Selection
abstract: This paper investigates the effects on neural classification performance of biological data by features selection. Where the Relief-F and Symmetrical Tau feature selection algorithms were employed on a set of high level features of DNA and structural profiles. It was observed that even with a small percentage of the features used in neural classifiers, the recognition rate of E.coli promoters was not degraded significantly.

title: Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration
abstract: Image restoration is an important issue in image processing, which helps recovering of degraded images caused by various factors in different circumstances. Neural networks models have been successfully applied in handling image restoration problems and some progress and promising results have been reported in the past. A popular neural networks model for image restoration is the Hopfield network due to its ability on dealing with optimization problems. A degraded image may have multiple corresponding solutions, i.e., the restored images, and the obtained solution can be sub-optimal which is related to a local minimum point in the weight space of the Hopfield network. This paper gives an algebraic characterization on images and shows that images with lower complexity can be restored uniquely from their degraded images and edge information. The obtained result in this paper establishes a mathematical basis for employing the mapping neural networks to realize a learning based image restoration scheme. The linear image restoration model is firstly generalized to a nonlinear one to broaden the scope of application. Secondly, we view the image restoration task as a set of approximation problems in a high dimensional space, and a mapping relationship between the degraded images with edge information and the source images is then built using feed-forward neural networks and the well trained neural network can be used to restore the degraded images in realtime. Computer simulations demonstrate the effectiveness of the learning image restoration techniques proposed in this paper.

title: Nonlinear quantification scheduling in image computation
abstract: Computing the set of states reachable in one step from a given set of states, i.e. image computation, is a crucial step in several symbolic verification algorithms, including model checking and reachability analysis. So far, the best methods for quantification scheduling in image computation, with a conjunctively partitioned transition relation, have been restricted to a linear schedule. This results in a loss of flexibility during image computation. We view image computation as a problem of constructing an optimal parse tree for the image set. The optimality of a parse tree is defined by the largest BDD that is encountered during the computation of the tree. We present dynamic and static versions of a new algorithm, VarScore, which exploits the flexibility offered by the parse tree approach to the image computation. We show by extensive experimentation that our techniques outperform the best known techniques so far.

title: High level verification of control intensive systems using predicate abstraction
abstract: Predicate abstraction has been widely used for model checking hardware/software systems. However, for control intensive systems, existing predicate abstraction techniques can potentially result in a blowup of the size of the abstract model. We deal with this problem by retaining important control variables in the abstract model. By this method we avoid having to introduce an unreasonable number of predicates to simulate the behavior of the control variables. We also show how to improve predicate abstraction by extracting useful information from a high level representation of hardware/software systems. This technique works by first extracting relevant branch conditions. These branch conditions are used to invalidate spurious abstract counterexamples through a new counterexample-based lazy refinement algorithm. Experimental results are included to demonstrate the effectiveness of our methods.

title: Novel Self-Organizing Takagi Sugeno Kang Fuzzy Neural Networks Based on ART-like Clustering
abstract: The existing Self-Organizing Takagi Sugeno Kang Fuzzy Neural Networks (S-TSKfnn) structure uses virus infection clustering (VIC) method to generate fuzzy rules. In this paper, we propose a novel architecture called Modified S-TSKfnn (MS-TSKfnn) that uses ART-like clustering called discrete incremental clustering (DIC). By doing so, MS-TSKfnn is able to handle online data input, and its performance is also enhanced. Most importantly, the accurate clustering in the fuzzy set derivation has significantly reduced the number of fuzzy TSK rules necessary to describe a problem. Extensive simulations are conducted using MS-TSKfnn and its performance is encouraging when benchmarked against other established neuro-fuzzy systems. The empirical work also firmly demonstrated the importance of clustering within a fuzzy neural reasoning system in ensuring a compact and expressive fuzzy rate base.

title: Using Conditional Autoregressive Range Model to Forecast Volatility of the Stock Indices
abstract: This paper compares the forecasting performance of the conditional autoregressive range (CARR) model with the commonly adopted GARCH model. Two major stock indices, FTSE 100 and Nikkei 225, are studies using the daily range data and daily close price data over the period 1990 to 2000. Our results suggest that improvements of the overall estimation are achieved when the CARR models are used. Moreover, we find that the CARR model gives better volatility forecasts than GARCH, as it can catch the extra informational contents of the intra-daily price variations. Finally, we also find that the inclusion of the lagged return and the lagged trading volume can significantly improve the forecasting ability of the CARR models. Our empirical results also significantly suggest the existence of a leverage effect in the U.K. and Japanese stock markets.

title: Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision
abstract: In this paper we report on our recent study of Clifford algebra for geometric reasoning and its application to problems in computer vision. A general framework is presented for construction and representation of geometric objects with selected rewrite rules for simplification. It provides a mechanism suitable for devising methods and software tools for geometric reasoning and computation. The feasibility and efficiency of the approach are demonstrated by our preliminary experiments on automated theorem proving in plane Euclidean geometry. We also explain how non-commutative Grobner bases can be applied to geometric theorem proving. In addition to several well-known geometric theorems, two application examples from computer vision are given to illustrate the practical value of our approach.