Simultaneous Minimization of Capacity and Conflict Misses Zhiyuan Li Short Paper 13 September 2007 Pages: 497 - 504
Next High Performance and Low Power Flash Memory Package Structure Jung-Hoon Lee Short Paper 13 September 2007 Pages: 515 - 520
Distributed Storage Cluster Design for Remote Mirroring Based on Storage Area Network Jun YaoJi-Wu ShuWei-Min Zheng Short Paper 13 September 2007 Pages: 521 - 526
Adaptive Call Admission Control Based on Reward-Penalty Model in Wireless/Mobile Network Jian-Hui HuangDe-Pei QianSheng-Ling Wang Short Paper 13 September 2007 Pages: 527 - 531
Engineering the Divide-and-Conquer Closest Pair Algorithm Minghui JiangJoel Gillespie Regular Paper 13 September 2007 Pages: 532 - 540
An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving Yu-Yan ChaoLi-Feng HeHidenori Itoh Regular Paper 13 September 2007 Pages: 541 - 553
Consistency Property of Finite FC-Normal Logic Programs Yi-Song WangMing-Yi ZhangYu-Ping Shen Regular Paper 13 September 2007 Pages: 554 - 561
Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction Xi-Shun ZhaoYu-Ping Shen Short Paper 13 September 2007 Pages: 562 - 568
Quasi-Physical Algorithm of an Off-Lattice Model for Protein Folding Problem Jing-Fa LiuWen-Qi Huang Short Paper 13 September 2007 Pages: 569 - 574
Barbed Congruence of Asymmetry and Mismatch Xiao-Ju DongYu-Xi Fu Short Paper 13 September 2007 Pages: 575 - 579
Spatially Adaptive Image Restoration Using Fuzzy Punctual Kriging Anwar M. MirzaAsmatullah ChaudhryBadre Munir Regular Paper 13 September 2007 Pages: 580 - 589
Real-Time Texture Synthesis Using s-Tile Set Feng XueYou-Sheng ZhangRong-Gui Wang Regular Paper 13 September 2007 Pages: 590 - 596
AHT Bézier Curves and NUAHT B-Spline Curves Gang XuGuo-Zhao Wang Regular Paper 13 September 2007 Pages: 597 - 607
Linguistic Theory Based Contextual Evidence Mining for Statistical Chinese Co-Reference Resolution Jun ZhaoFei-Fan Liu Regular Paper 13 September 2007 Pages: 608 - 617
Secure and Incidental Distortion Tolerant Digital Signature for Image Authentication Yong-Dong ZhangSheng TangJin-Tao Li Regular Paper 13 September 2007 Pages: 618 - 625
Facial Feature Extraction Method Based on Coefficients of Variances Feng-Xi SongDavid ZhangJing-Yu Yang Short Paper 13 September 2007 Pages: 626 - 632
Hierarchical Approximate Matching for Retrieval of Chinese Historical Calligraphy Character Xia-Fen ZhangYue-Ting ZhuangFei Wu Short Paper 13 September 2007 Pages: 633 - 640