Geodesic

Volume 9 (2012) no. 4

Sommaire

SMP-SIM: an SMP-based Discrete-event Execution-driven Performance Simulator
Orthogonal Sequences Based Multi-CFO Estimation and Semi-Blind ICA Based Equalization for Multiuser CoMP Systems
Speech Unit Category based Short Utterance Speaker Recognition
Formal Verification of Signature-monitoring Mechanisms by Model Checking
An Uncertain Optimal Control Model with n Jumps and Application
A Formal Approach to Testing Programs in Practice
Image Denoising Using Anisotropic Second and Fourth Order Diffusions Based on Gradient Vector Convolution
Active Semi-supervised Framework with Data Editing
An Ant System based on Moderate Search for TSP
Optimal Node Placement of Industrial Wireless Sensor Networks Based on Adaptive Mutation Probability Binary Particle Swarm Optimization Algorithm
Automatic T-S fuzzy model with application to designing predictive controller
Superior Performance of Using Hyperbolic Sine Activation Functions in ZNN Illustrated via Time-Varying Matrix Square Roots Finding
Clustering based Two-Stage Text Classification Requiring Minimal Training Data
A Novel Content Based Image Retrieval System using K-means/KNN with Feature Extraction
Study On Prediction Models For Integrated Scheduling In Semiconductor Manufacturing Lines
Application of Grid-based K-means Clustering Algorithm for Optimal Image Processing
Agent Negotiation on Resources with Nonlinear Utility Functions
University Campus Social Network System for Knowledge Sharing