Conceptual Modeling for Advanced Application Domains
ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004. Proceedings
Book and Conference Proceedings
ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004. Proceedings
Chapter
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 ...
Chapter and Conference Paper
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the emerging semantic web. A straight...
Chapter and Conference Paper
In this paper, a new approach for the global-based structure damage detection is proposed, which is based on the combination of bispectrum feature extraction technique and LVQ neural network identification met...
Chapter and Conference Paper
This research investigates continuous forecasting queries with alterable forecasting-step over data streams. A novel Adaptive Precision forecasting method to forecasting single attribute value of item in a sin...
Chapter and Conference Paper
The essential of Molecular docking problem is to find the optimum conformation of ligand bound with the receptor at its active site. Most cases the optimum conformation has the lowest interaction energy. So th...
Chapter and Conference Paper
Naive Bayes is one of the most efficient and effective learning algorithms for machine learning, pattern recognition and data mining. But its conditional independence assumption is rarely true in real-world ap...
Article
In this paper we present several new sequential Monte Carlo (SMC) algorithms for online estimation (filtering) of nonlinear dynamic systems. SMC has been shown to be a powerful tool for dealing with complex dy...
Chapter and Conference Paper
This paper describes the design and implementation of a practical automatic speaker recognition system for the CSLP speaker recognition evaluation (SRE). The speaker recognition system is built upon four subsy...
Chapter
Optical character recognition (OCR) is widely used for automation. Typical OCR algorithm runs on each character and it include preprocessing step of separating each character from input image. Most segmentatio...
Chapter and Conference Paper
An artificial neural network was used for sample preprocessing in this paper. Firstly, the data points were classified into three types as follows: the high load type, the medium load type and the low load typ...
Chapter and Conference Paper
Texture synthesis is a very active research area in computer vision and graphics, and temporal texture synthesis is one subset of it. We present a new temporal texture synthesis algorithm, in which a segment g...
Chapter and Conference Paper
The development of algorithms for reverse-engineering gene regulatory networks is boosted by microarray technologies, which enable the simultaneous measurement of all RNA transcripts in a cell. Meanwhile the c...
Chapter and Conference Paper
The issue of pre-splitting blasting design is investigated in this paper. According to the principle of expert system and neural networks, Visual C++ 6.0 and SQL Sever 2000 are employed to develop hybrid exper...
Chapter and Conference Paper
This paper proposes a low-power high-speed CMOS analog two- input/one-output neuro-fuzzy chip, the basic blocks of which are Gaussian membership function circuit, minimization circuit, and a centroid algorithm...
Chapter and Conference Paper
In order to support the advanced concept technology demonstration of intelligence reconnaissance activities, multiple sensors simulation needs to provide enough detail to examine sensing dynamics on future bat...
Chapter and Conference Paper
In conventional Gaussian Mixture Model – Universal Background Model (GMM-UBM) text-independent speaker verification applications, the discriminability between speaker models and the universal background model ...
Article
A novel integrated design strategy for robust fault diagnosis and fault-tolerant control (FTC) of a class of nonlinear uncertain systems is proposed. The uncertainties considered in this paper are more general...
Chapter and Conference Paper
The special scenario of the topology in the cellular Ad Hoc networks was analyzed and a novel cross layer power control game algorithm based on Neural Fuzzy Connection Admission Controller (NFCAC) was proposed...
Article
Chameleon hash is the main primitive to construct a chameleon signature scheme which provides non-repudiation and non-transferability simultaneously. However, the initial chameleon hash schemes suffer from the...