We use cookies to improve your experience with our site.
Advanced Search

Penalty Formulations and Trap-Avoidance Strategies for Solving Hard Satisfiability Problems
Benjamin W. Wah, Zhe Wu
2005, 20(1)
Abstract
Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardnes
Jian-Er Chen
2005, 20(1)
Abstract
Formal Verification Techniques Based on Boolean Satisfiability Problem
Xiao-Wei Li, Guang-Hui Li, Ming Shao
2005, 20(1)
Abstract
Adapt Bagging to Nearest Neighbor Classifiers
Zhi-Hua Zhou, Yang Yu
2005, 20(1)
Abstract
Searching Databases with Keywords
Shan Wang, Kun-Long Zhang
2005, 20(1)
Abstract
Effect of Count Estimation in Finding Frequent Itemsets over Online Transactional Data Streams
Joong Hyuk Chang, Won Suk Lee
2005, 20(1)
Abstract
Online Palmprint Identification System for Civil Applications
David Zhang, Guang-Ming Lu, Adams Wai-Kin Kong, Michael Wong
2005, 20(1)
Abstract
Polygonal Shape Blending with Topological Evolutions
Li-Gang Liu, Bo Zhang, Bai-Ning Guo, Heung-Yeung Shum
2005, 20(1)
Abstract
A Quotient Space Approximation Model of Multiresolution Signal Analysis
Ling Zhang, Bo Zhang
2005, 20(1)
Abstract
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
Wen Gao, Lionel M. Ni, Zhi-Wei Xu, S. C. Cheung, Li Cui, Qiong Luo
2005, 20(1)
Abstract
CORBA-Based Analysis of Multi Agent Behavior
Swapan Bhattacharya, Anirban Banerjee, Shibdas Bandyopadhyay
2005, 20(1)
Abstract
Integrating Parallelizing Compilation Technologies for SMP Clusters
Xiao-Bing Feng, Li Chen, Yi-Ran Wang, Xiao-Mi An, Lin Ma, Chun-Lei Sang, Zhao-Qing Zhang
2005, 20(1)
Abstract
Urban Traffic Information Service Application Grid
Chang-Jun Jiang, Zhao-Hui Zhang, Guo-Sun Zeng et al.
2005, 20(1)
Abstract
Viewpoints on Grid Standards
Andrew A. Chien, Xian-He Sun, Zhi-Wei Xu
2005, 20(1)
Abstract
Book Review on "Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists"
Jian Pei
2005, 20(1)
Abstract
Predicate mu-Calculus for Mobile Ambients
Hui-Min Lin
2005, 20(1)
Abstract