-
Chapter and Conference Paper
Aerodynamic Characterization of a Ballistic-Correction Bullet
Obtaining the aerodynamic parameters of a ballistic-correction bullet is crucial for improving ballistic correction efficiency and enhancing shooting accuracy. In this study, a numerical simulation method is u...
-
Chapter and Conference Paper
Monadic Decomposition in Integer Linear Arithmetic
Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, V...
-
Chapter and Conference Paper
SL-COMP: Competition of Solvers for Separation Logic
SL-COMP aims at bringing together researchers interested on improving the state of the art of the automated deduction methods for Separation Logic (SL). The event took place twice until now and collected more ...
-
Chapter and Conference Paper
Beyond Retinal Layers: A Large Blob Detection for Subretinal Fluid Segmentation in SD-OCT Images
Purpose: To automatically segment neurosensory retinal detachment (NRD)-associated subretinal fluid in spectral domain optical coherence tomography (SD-OCT) images by constructing a Hessian-based Aggregate genera...
-
Chapter and Conference Paper
Dynamic Filtering with Large Sampling Field for ConvNets
We propose a dynamic filtering strategy with large sampling field for ConvNets (LS-DFN), where the position-specific kernels learn from not only the identical position but also multiple sampled neighbour regio...
-
Chapter and Conference Paper
Android Stack Machine
In this paper, we propose Android Stack Machine (ASM), a formal model to capture key mechanisms of Android multi-tasking such as activities, back stacks, launch modes, as well as task affinities. The model is ...
-
Chapter and Conference Paper
An Unsupervised Change Detection Approach for Remote Sensing Image Using Visual Attention Mechanism
In this paper, we propose a novel approach for unsupervised change detection by integrating visual attention mechanism which has the ability to find the real changes between two images. The approach starts by ...
-
Chapter and Conference Paper
A Functional Model of AIS Data Fusion
In recent years, maritime situational awareness based on the fusion of AIS (Automatic Identification System) data has attracted more and more researchers. However, the diversity of terms and methodologies hind...
-
Chapter and Conference Paper
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach
MapReduce is a popular programming model for data parallel computation. In MapReduce, the reducer produces an output from a list of inputs. Due to the scheduling policy of the platform, the inputs may arrive at t...
-
Chapter and Conference Paper
An Unsupervised Change Detection Approach for Remote Sensing Image Using Principal Component Analysis and Genetic Algorithm
The novel approach presented in this paper aims for unsupervised change detection applicable and adaptable to remote sensing images. This is achieved based on a combination of principal component analysis (PCA...
-
Chapter and Conference Paper
Effects of Reclaimed Water and C and N on Breakthrough Curves in Sandy Soil and Loam
Long-term irrigation with reclaimed water may change soil physical properties and solute transport rate due to C and N in reclaimed water and the particularity of reclaimed water. Ordinary water, reclaimed wat...
-
Chapter and Conference Paper
A Non-seed-based Region Growing Algorithm for High Resolution Remote Sensing Image Segmentation
One of the indispensable prerequisites for high resolution remote sensing image interpretation and processing is successful image segmentation. The algorithm presented in this paper aims for a high efficient i...
-
Chapter and Conference Paper
Attribute-Based Fine-Grained Access Control with User Revocation
Attribute-based encryption brings a lot of convenience for access control. But it introduces several challenges with regard to the user revocation. In this paper, we propose an access control mechanism using n...
-
Chapter and Conference Paper
A New Algorithmic Approach for Contrast Enhancement
A novel algorithmic approach for optimal contrast enhancement is proposed. A measure of expected contrast and a sister measure of tone subtlety are defined for gray level transform functions. These definitions...
-
Chapter and Conference Paper
Research on Customer Profile Integration of Telecom Enterprises Based on Ontology
In the product-centered marketing times of telecom industry, BOSS (Business Operations Supporting System) was established step by step, which resulted in the two critical difficulties in customer profile integ...
-
Chapter and Conference Paper
SOA-Based Telecom Product Management System Framework
By researching the telecom operations support system and the business support system, a telecom product management framework is presented via integrated with the customer management system (CRM), especially in...
-
Chapter and Conference Paper
A Mechanism of Timely Knowledge Push on Demand Based on ECA and Multi-Agent Techniques
The knowledge organizations have already deployed or are deploying their Knowledge Management systems. And the knowledge service is the key mechanism for knowledge sharing in an organization. There are two mec...
-
Chapter and Conference Paper
A New Approach to Implement Enterprise Content Management System Using RSS and Folksonomy
Nowadays, 85% of the enterprise information is stored as unstructured data. And ECM (Enterprise Content Management) provides enterprises with a platform to house these unstructured contents and deliver them in...
-
Chapter and Conference Paper
Extending Enterprise Services Descriptive Metadata with Semantic Aspect Based on RDF
In the area of enterprise information integration, enterprise services are usually pre-defined and constructed before being supplied to users traditionally. However, with the rising of users’ individuation nee...
-
Chapter and Conference Paper
InterCondor: A Prototype High Throughput Computing Middleware for Geocomputation
This paper presents the design, analysis and implementation of InterCondor system. The InterCondor system is an implementation of the concept of InterGrid. It uses Condor as a basic local Grid computing engine...