Leach: an automatic learning cache for inline primary deduplication system
A sound and complete R-calculi with respect to contraction and minimal change
Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods
A hybrid multi-objective PSO algorithm with local search strategy for VLSI partitioning
ECG beat classification using particle swarm optimization and support vector machine
Fusion of visible and thermal images for facial expression recognition
Novel infrared and visible image fusion method based on independent component analysis
Naive Bayes for value difference metric
Associative categorization of frequent patterns based on the probabilistic graphical model
Entity attribute discovery and clustering from online reviews
Recommendation algorithm based on item quality and user rating preferences
MViewer: mobile phone spatiotemporal data viewer
Learning to detect subway arrivals for passengers on a train
Interactive texture design and synthesis from mesh sketches
Efficient and effective Bayesian network local structure learning
RULES-IT: incremental transfer learning with RULES family
Dm-KDE: dynamical kernel density estimation by sequences of KDE estimators with fixed number of components over data streams
Clustering-based topical Web crawling using CFu-tree guided by link-context
An intelligent market making strategy in algorithmic trading
Emotion recognition from thermal infrared images using deep Boltzmann machine
Road scene analysis for determination of road traffic density
Generating Chinese named entity data from parallel corpora
Reference direction based immune clone algorithm for many-objective optimization
Cryptanalysis and improvement of a certificateless signcryption scheme without bilinear pairing
A lattice-based signcryption scheme without random oracles
Unbalanced graph cuts with minimum capacity
Property analysis of logic Petri nets by marking reachability graphs
Interpolation oriented parallel communication to optimize coupling in earth system modeling
HC-Store: putting MapReduce’s foot in two camps
An adaptive switching scheme for iterative computing in the cloud
Research on technology of desktop virtualization based on SPICE protocol and its improvement solutions
A survey on distributed compressed sensing: theory and applications
Image decomposing for inpainting using compressed sensing in DCT domain
Model based odia numeral recognition using fuzzy aggregated features
Relative manifold based semi-supervised dimensionality reduction
Feature selection on probabilistic symbolic objects
Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
A temporal programming model with atomic blocks based on projection temporal logic
Specifying redundancy tactics as crosscutting concerns using aspect-oriented modeling
Detection of semantically similar code
Error- and loss-tolerant bundle fragment authentication for space DTNs
Optimal binary codes and binary construction of quantum codes
Model checking with fairness assumptions using PAT
Runtime support for type-safe and context-based behavior adaptation
Organization-based agent-oriented programming: model, mechanisms, and language
A constraint-weaving approach to points-to analysis for AspectJ
Tag recommendation for open source software
MR-DBSCAN: a scalable MapReduce-based DBSCAN algorithm for heavily skewed data
Generalized multipath planning model for ride-sharing systems
PSG: a two-layer graph model for document summarization
Adaptive in-page logging for flash-memory storage systems
SWVFS: a saliency weighted visual feature similarity metric for image quality assessment
Splitting touching cells based on concave-point and improved watershed algorithms
Cryptanalysis and improvement of a certificateless encryption scheme in the standard model
MilkyWay-2: back to the world Top 1
MilkyWay-2 supercomputer: system and application
The TH Express high performance interconnect networks
Hybrid hierarchy storage system in MilkyWay-2 supercomputer
Iaso: an autonomous fault-tolerant management system for supercomputers
Network and data location aware approach for simultaneous job scheduling and data replication in large-scale data grid environments
Towards energy-efficient storage placement in large scale sensor networks
Achieving high throughput and TCP Reno fairness in delay-based TCP over large networks
HAT: an efficient buffer management method for flash-based hybrid storage systems
Key continual-leakage resilient broadcast cryptosystem from dual system in broadcast networks
Construction of a key-dependent message secure symmetric encryption scheme in the ideal cipher model
A property-based testing framework for encryption programs
A short non-delegatable strong designated verifier signature
Cloud data auditing with designated verifier
Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes
A UTP semantic model for Orc language with execution status and fault handling
Generating test data for both paths coverage and faults detection using genetic algorithms: multi-path case
Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems
Tolerance-based multigranulation rough sets in incomplete systems
A novel binary image representation algorithm by using NAM and coordinate encoding procedure and its application to area calculation
Comparative performance analysis of stroke correspondence search methods for stroke-order free online multi-stroke character recognition
Linear discriminant analysis with worst between-class separation and average within-class compactness
Training SVMs on a bound vectors set based on Fisher projection
Dimensionality reduction via kernel sparse representation
Discovering top-k patterns with differential privacy-an accurate approach
Lattice-based certificateless encryption scheme
Key-insulated aggregate signature
A scheduling algorithm with dynamic properties in mobile grid
