2095-2228

Frontiers of Computer Science （FCS） - April 2014, issue 2 论文列表

点击这里查看 Frontiers of Computer Science 的JCR分区、影响因子等信息
卷期号： April 2014, issue 2
发布时间：
卷期年份： 2014
卷期官网： https://link.springer.com/journal/11704/volumes-and-issues/8-2
本期论文列表
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