Complexities of Homomorphism and Isomorphism for Definite Logic Programs Dao-Yun XuZhi-Hong Tao OriginalPaper Pages: 758 - 762
L-Tree Match: A New Data Extraction Model and Algorithm for Huge Text Stream with Noises Xu-Bin DengYang-Yong Zhu OriginalPaper Pages: 763 - 773
A Generalized Real-Time Obstacle Avoidance Method Without the Cspace Calculation Yong-Ji WangMatthew CartmellHan Liu OriginalPaper Pages: 774 - 787
An Ontology-Based Framework for Semi-Automatic Schema Integration Zille HumaMuhammad Jaffar-Ur RehmanNadeem Iftikhar OriginalPaper Pages: 788 - 796
Broadcast-Based Spatial Queries Kwang-Jin ParkMoon-Bae SongChong-Sun Hwang OriginalPaper Pages: 811 - 821
Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes Ji-Peng Zhou OriginalPaper Pages: 822 - 830
Quantitative QoS Management Implement Mechanism in IP-DiffServ Zhang Jin-YuLi LiuFeng Liu OriginalPaper Pages: 831 - 835
A General Sufficient Condition of Four Positive Solutions of the P3P Problem Cai-Xia ZhangZhan-Yi Hu OriginalPaper Pages: 836 - 842
Robust Non-Frontal Face Alignment with Edge Based Texture Hua LiShui-Cheng YanLi-Zhong Peng OriginalPaper Pages: 849 - 854
Visual Ontology Construction for Digitized Art Image Retrieval Shu-Qiang JiangJun DuWen Gao OriginalPaper Pages: 855 - 860
Generating Symbolic Interpolants for Scattered Data with Normal Vectors Ming LiXiao-Shan GaoJin-San Cheng OriginalPaper Pages: 861 - 874
An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage Wei LuXiu-Tao YangXiao-Wei Li OriginalPaper Pages: 875 - 884
An Error Recoverable Structure Based on Complementary Logic and Alternating-Retry Jian-Hui Jiang OriginalPaper Pages: 885 - 894
Novel Synthesis and Optimization of Multi-Level Mixed Polarity Reed-Muller Functions Yin-Shui XiaLun-Yao WangJian-Ping Hu OriginalPaper Pages: 895 - 900
Shielding Area Optimization Under the Solution of Interconnect Crosstalk Yi-Ci CaiXin ZhaoXian-Long Hong OriginalPaper Pages: 901 - 906