Mathematics mechanization and applications after thirty years
A model for BPEL-like languages
Dawning4000A high performance computer
Recognizing the agent’s goals incrementally: planning graph as a basis
A quick overview of membrane computing with some details about spiking neural P systems
Supporting crosscutting concern modelling in software architecture design
HTRDP evaluations on Chinese information processing and intelligent human-machine interface
Compiler-directed power optimization of high-performance interconnection networks for load-balancing MPI applications
Extraction of delta-lognormal parameters from handwriting strokes
P2P worm detection based on application identification
Search an unsorted database with quantum mechanics
An overview of the haplotype problems and algorithms
Well limit behaviors of term rewriting systems
A pointer logic and certifying compiler
Research on dynamic update transaction for Java classes
Requirement emergence computation of networked software
Performance analysis of a dependable scheduling strategy based on a fault-tolerant grid model
An optimal replication strategy for data grid systems
High TPO/TCO for data storage: policy, algorithm and early practice
A hierarchical model for structure learning based on the physiological characteristics of neurons
Remarks on different reviews of Chinese character recognition
Chinese character recognition: history, status and prospects
Offline Chinese handwriting recognition: an assessment of current technology
Models of parallel computation: a survey and classification
A survey of passive technology for digital image forensics
On the design and implementation of a geometric-object-oriented language
Semantic interpretation of compositional logic in instantiation space
CMM: Credential migration management system based on trusted computing in CGSP
EMMP: a highly efficient membership management protocol
SONNET: subscription using path queries over structured overlay networks
On constructing disjoint linear codes
A data-distributed parallel algorithm for wavelet-based fusion of remote sensing images
A mesh-based automatic in-betweening algorithm in computer-assisted animation
Weakly distributive domains (II)
Advances in cryptography and information security—introduction of 2002–2006 progress of SKLOIS
Online isolation of defects in cellular nanocomputers
Ranking with uncertain labels and its applications
Recent advances on NLP research in Harbin Institute of Technology
Inference and learning in hybrid probabilistic network
Discourage free riding in Peer-to-Peer file sharing systems with file migration and workload balancing approach
Towards structural Web Services matching based on Kernel methods
An improved algorithm for finding community structure in networks with an application to IPv6 backbone network
Adaptive scheduling for shared window joins over data streams
A high-speed and low-cost storage architecture based on virtual interface
Study on consistent query answering in inconsistent databases
