We prove that Fv(3,5;6) = 16, which solves the smallest open case of vertex Folkman numbers of the form Fv(3,k;k + 1). The proof uses computer algorithms.
We prove that Fv(3,5;6) = 16, which solves the smallest open case of vertex Folkman numbers of the form Fv(3,k;k + 1). The proof uses computer algorithms.
Regarding the embedded processor as the core, this study utilizes various cutting-edge technologies such as wireless LAN, USB interface, Bluetooth, multimedia, etc., to propose the design program of QT-based security ...
详细信息
In this paper, the Adaptive Neuro-Fuzzy Inference System (ANFIS) is used for the classification of the epileptic electroencephalogram (EEG) signals. The ANFIS combines the adaptation capability of the neural networks ...
详细信息
In this paper, the Adaptive Neuro-Fuzzy Inference System (ANFIS) is used for the classification of the epileptic electroencephalogram (EEG) signals. The ANFIS combines the adaptation capability of the neural networks and the fuzzy logic-based qualitative approach together. A given input/output data set is deployed to construct a fuzzy inference system, whose membership function parameters are trained using a back propagation algorithm in combination with a least squares method. However, the training method sometimes may lead to local optima. We here propose a new strategy of hybrid training algorithm based on the fusion of the ANFIS and Harmony Search (HS), HS-ANFIS, which is adopted to tune all the parameters of the ANFIS. The validity of our method is verified by numerical experiments.
In this paper, we experimentally evaluate three different averaging methods for processing of electroencephalogram (EEG) event related potentials (ERPs) measured from scalp in response to repeated stimulus. In ERP app...
详细信息
In this paper, we experimentally evaluate three different averaging methods for processing of electroencephalogram (EEG) event related potentials (ERPs) measured from scalp in response to repeated stimulus. In ERP applications, arithmetic mean (AM) is normally employed in processing the ERPs prior to ERP detection, whereas also other averaging methods might have beneficial properties. Fast ERP detection is essential, for example, in brain computer interfaces and during spine surgery. Thus, it is of interest to search for methods to aid in detecting ERPs with as few stimulus repetitions as possible. Here, noise reduction properties of AM, geometric mean (GM), and harmonic mean (HM) are demonstrated with simulations, and ERP processing by the three methods is illustrated by processing real visual evoked potentials (VEPs).
A Support Vector Machine (SVM) based method for ship detection in Polarimetric SAR (POLSAR) is proposed in this study. Because of similarities of ship and man-made structures on land in scattering mechanisms, land and...
详细信息
Automatic target detection (ATD) in infrared (IR) imagery is a fundamental and challenging task in computer vision. A fast automatic target detection method in IR image sequence is proposed in this paper. Since the po...
详细信息
ISBN:
(纸本)9781467301732
Automatic target detection (ATD) in infrared (IR) imagery is a fundamental and challenging task in computer vision. A fast automatic target detection method in IR image sequence is proposed in this paper. Since the position and scale of target change real-timely, we can predict the target position in real-time image by using the history position of target and flight parameters information of previous and current frames, and then estimate the scale of target depending on flight parameters and imaging parameters for getting the model with the appropriate scale. In order to make the template matching more robust for target rotation, the template matching method based on parametric template vector is used to recognize the position of target. The detection result is identified by using multi-frame integration based on recognition information of history and currant frames. Some experimental results using real-world images with complicated background validate the effectiveness and robustness of the proposed method under rotation and scale variance condition.
A novel hybrid fitting energy-based active contour model in the level set framework is proposed. The method fuses the region and boundary information of the target to achieve accurate and robust detection performance....
详细信息
A novel hybrid fitting energy-based active contour model in the level set framework is proposed. The method fuses the region and boundary information of the target to achieve accurate and robust detection performance. A special extra term that penalizes the deviation of the level set function from a signed distance function is also included in our method. This term allows the time-consuming redistancing operation to be removed completely. Moreover, a fast unconditionally stable numerical scheme is introduced to solve the problem. Experimental results on real infrared images show that our method can improve target detection performance efficiently in terms of the number of iterations and the wasted central processing unit （CPU） time.
The upper domination Ramsey number u(3, 3, 3) is the smallest integer n such that every 3-coloring of the edges of complete graph Kn contains a monochromatic graph G with T(G) ≥ 3, where T(G) is the maximum order ove...
详细信息
The upper domination Ramsey number u(3, 3, 3) is the smallest integer n such that every 3-coloring of the edges of complete graph Kn contains a monochromatic graph G with T(G) ≥ 3, where T(G) is the maximum order over all the minimal dominating sets of the complement of G. In this note, with the help of computers, we determine that U(3, 3, 3) = 13, which improves the results that 13 ≤ U(3, 3, 3) ≤ 14 provided by Michael A. Henning and Ortrud R. Oellermann.
A well-defined three-dimensional (3-D) reconstruction of bone-cartilage transitional structures is crucial for the osteochondral restoration. This paper presents an accurate, computationally efficient and fully-automa...
A well-defined three-dimensional (3-D) reconstruction of bone-cartilage transitional structures is crucial for the osteochondral restoration. This paper presents an accurate, computationally efficient and fully-automated algorithm for the alignment and segmentation of two-dimensional (2-D) serial to construct the 3-D model of bone-cartilage transitional structures. Entire system includes the following five components: (1) image harvest, (2) image registration, (3) image segmentation, (4) 3-D reconstruction and visualization, and (5) evaluation. A computer program was developed in the environment of Matlab for the automatic alignment and segmentation of serial sections. Automatic alignment algorithm based on the position's cross-correlation of the anatomical characteristic feature points of two sequential sections. A method combining an automatic segmentation and an image threshold processing was applied to capture the regions and structures of interest. SEM micrograph and 3-D model reconstructed directly in digital microscope were used to evaluate the reliability and accuracy of this strategy. The morphology of 3-D model constructed by serial sections is consistent with the results of SEM micrograph and 3-D model of digital microscope.
Software fault prediction techniques are helpful in developing dependable software. In this paper, we proposed a novel framework that integrates testing and prediction process for unit testing prediction. Because high...
详细信息
暂无评论