Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems Benjamin W. WahZhe Wu OriginalPaper Pages: 3 - 17
Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness Jian-Er Chen OriginalPaper Pages: 18 - 37
Formal Verification Techniques Based on Boolean Satisfiability Problem Xiao-Wei LiGuang-Hui LiMing Shao OriginalPaper Pages: 38 - 47
Effect of Count Estimation in Finding Frequent Itemsets over Online Transactional Data Streams Joong Hyuk ChangWon Suk Lee OriginalPaper Pages: 63 - 69
Online Palmprint Identification System for Civil Applications David ZhangGuang-Ming LuMichael Wong OriginalPaper Pages: 70 - 76
Polygonal Shape Blending with Topological Evolutions Li-Gang LiuBo ZhangHeung-Yeung Shum OriginalPaper Pages: 77 - 89
A Quotient Space Approximation Model of Multiresolution Signal Analysis Ling ZhangBo Zhang OriginalPaper Pages: 90 - 94
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale Wen GaoLionel M. NiQiong Luo OriginalPaper Pages: 105 - 177
CORBA-Based Analysis of Multi Agent Behavior Swapan BhattacharyaAnirban BanerjeeShibdas Bandyopadhyay OriginalPaper Pages: 118 - 124
Integrating Parallelizing Compilation Technologies for SMP Clusters Xiao-Bing FengLi ChenZhao-Qing Zhang OriginalPaper Pages: 125 - 133
Urban Traffic Information Service Application Grid Chang-Jun JiangZhao-Hui ZhangLei Liu OriginalPaper Pages: 134 - 140
Book Review on “Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists” Jian Pei BookReview Pages: 144 - 145