Acta Electronica Sinica 2012 Issue 1 Heuristic SCCs Emptiness Checking Algorithm for Generalized Büchi Automata

Heuristic SCCs Emptiness Checking Algorithm for Generalized Büchi Automata
WANG Xi;XU Zhong-wei

..............page:95-102

L1 Norm Sparse Distance Metric Learning for One-Class Classifier
HU Zheng-ping;LU Liang;XU Cheng-qian

..............page:134-140

Cross-Layer Leaming in Cognitive Radio Networks Based on Rough Set
JIANG Hong;WU Chun;BAO Yu-jun;HUANG Yu-qing

..............page:155-161

Accurate Detection of Signal Singularity Position Based on Dichotomizing Recursion SVD
ZHAO Xue-zhi;YE Bang-yan

..............page:53-59

Survey on Spectrum Allocation Algorithms for Cognitive Radio Networks
WANG Qin-hui;YE Bao-liu;TIAN Yu;LI Wen-zhong;LU Sang-lu;CHEN Dao-xu

..............page:147-154

Overhearing Management Policies on Network Coding
WANG Yu;LU Han-cheng;HONG Pei-lin;XUE Kai-ping

..............page:47-52

A Video Watermarking Algorithm Based on Secret Sharing and Motion Vectors
XU Jia-jia;ZHANG Wei-ming;YU Neng-hai;GUO Bao-an;QIAN Yang-chun

..............page:8-13

One Anti-Collision Algorithm Based on Improved Adaptive Multi-Tree Search
ZHANG Xue-jun;CAI Wen-qi;WANG Suo-ping

..............page:193-198

Heterogeneous Qualitative Spatial Reasoning
WANG Sheng-sheng;LIU Da-you

..............page:89-94

Parameters Selection Method of Multiple Vortex-Ring Microburst Model Based on Nested Particle Swarm Optimization
WU Yang;JIANG Shou-da

..............page:204-208

The Application of Computational Auditory Peripheral Model in Underwater Target Classification
WANG Lei;PEN Yuan;LIN Zheng-qing;JIANG Xing-hai;MU Lin;ZHANG Feng-zhen

..............page:199-203

A Multi-Mode QAM Direct-Digital Modulator Based on Current Vector Sum
XU Jiang-tao;Carlos E SAAVEDRA;CHEN Gui-can

..............page:40-46

Code Shortening and Performance Analysis for RAID6 Codes
JIN Chao;FENG Dan;LIU Jing-ning;TIAN Lei

..............page:173-178

Phase-Unmatched Quantum Search Algorithm
JIN Wen-liang;CHEN Xiang-dong

..............page:189-192

Coverage-Enhancing Algorithm for Wireless Multi-Media Sensor Networks Based on Three-Dimensional Perception
XIAO Fu;WANG Ru-chuan;SUN Li-juan;WENG Jiao-yan

..............page:167-172

A Timing Synchronization Method for ACO-OFDM Optical Wireless Communications Based on Superposition of Training and Data
WANG Ru-yan;WANG Zhuo;WU Da-peng;GAO Di;ZUO Qiong-hua;ZHAO Hui;SHANGGUAN Song-tao

..............page:162-166

Noise Reduction of Low-Dose CT Sinograms Based on EM Algorithm
ZHANG Yuan-ke;ZHANG Jun-ying;LU Hong-bing

..............page:27-34

Research on Rootkit Dynamic Detection Based on Fuzzy Pattern Recognition and Support Virtual Machine Technology
LI Peng;WANG Ru-chuan;GAO De-hua

..............page:115-120

A Dynamic Secure Trust Model for Mobile P2P Networks
LI Zhi-yuan;WANG Ru-chuan

..............page:1-7

Mutation Testing Based on Comparison of Paths
YAO Xiang-juan;GONG Dun-wei

..............page:103-107

An Invariant Region-Shape Descriptor Based on Fourier Transform
WANG Bin

..............page:84-88

Adaptive Asynchronous Sampling Based Motion Data Compression
SHI Cao;ZOU Bei-ji;CAI Mei-ling;MENG Zhi-gang;CHEN Zai-liang

..............page:128-133

An Energy-Saving Coverage Scheme Based on Multi-Objective Genetic Algorithms in Wireless Multi-Media Sensor Networks
SHA Chao;WANG Ru-chuan;HUANG Hai-ping;SUN Li-juan

..............page:19-26

Study on the Microstrip DBR Diplexer Based on DGS
CHEN Chun-hong;LI Na;WU Wen

..............page:14-18

Adaptive Waveform Design Based on WLS-TIR for Multiple Targets Recognition in Cognitive Radar
FAN Mei-mei;LIAO Dong-ping;DING Xiao-feng;LI Xiang

..............page:73-77

Framework Design of Artificial Animal Simulation Platform Based on Reconfiguration
NING Shu-rong;YAO Yi-fei;CHEN Fei;XIAO Chao-en;TU Xu-yan

..............page:108-114

A Realization of Time-Frequency Distributions with Complex-Lag Argument for Multicomponent Signal
WANG Ran;JIANG Yi-cheng

..............page:60-65

Analysis of Direct-Path Pulses Loss and Phase Reversal Effect on Passive Bistatic Radar
ZHANG Cai-sheng;TANG Xiao-ming;HE You;DING Jia-hui

..............page:66-72

An Accelerating Target Detection Algorithm Based on DPT and Fractional Fourier Transform
PANG Cun-suo

..............page:184-188

Color Constancy Based on Image Derivative Framework and Non-negative Sparse Coding
DU Xin-yu;LI Yong-jie;YAO De-zhong;LI Chao-yi

..............page:179-183

A Cognitive Two-Way Relay Scheme for Low-SINR Environments and Its Optimal Power Allocation and Time Division
LU Lu-xi;JIANG Wei;XIANG Hai-ge;LUO Wu;SHANG Yong

..............page:35-39

A Multiple Audio Watermarking for Database Based on Blind Source Separation
CUI Xin-chun;HE Jie;QIN Xiao-lin

..............page:78-83

The Method of the Navigation Direction Angle Calculation with the Distribution of the Atmospheric Polarization Pattern
TIAN Liu;GAO Jun;FAN Zhi-guo;WU Ke-wei;GAO Li-juan

..............page:141-146

An Algorithm for Overlapping Coalition Formation Based on Virtual Coalition
ZHANG Guo-fu;ZHOU Peng;JIANG Jian-guo;SU Zhao-pin;TIAN Jing-bei;LIU Yang

..............page:121-127