![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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
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...
-
Chapter and Conference Paper
SEER: Scalable Energy Efficient Relay Schemes in MANETs
In Mobile Ad Hoc Networks (MANETs), broadcasting is widely used to support many applications. Several adaptive broadcast schemes have been proposed to reduce the number of rebroadcasting, and can consequently red...
-
Chapter and Conference Paper
A Remote Sensing Application Workflow and Its Implementation in Remote Sensing Service Grid Node
In this article we describe a remote sensing application workflow in building a Remote Sensing Information Analysis and Service Grid Node at Institute of Remote Sensing Applications based on the Condor platfor...
-
Chapter and Conference Paper
Information Registry of Remotely Sensed Meta-module in Grid Environment
The term "the Grid" was coined in the mid 1990s to denote a proposed distributed computing infrastructure for advanced science and engineering. Grid computing technology is a new way for remotely sensed data p...
-
Chapter and Conference Paper
Remote Sensing Information Processing Grid Node with Loose-Coupling Parallel Structure
To use traditional algorithms and software packages on Grid system, traditional algorithms and software packages, in general, have to be modified. In this paper we focus on standards and methodologies for Grid...
-
Chapter and Conference Paper
Java-Based Grid Service Spread and Implementation in Remote Sensing Applications
Remote sensing applications often concern very large volumes of spatio-temporal data, the emerging Grid computing technologies bring an effective solution to this problem. The Open Grid Services Architecture (...
-
Chapter and Conference Paper
Clustering Based on Principal Curve
Clustering algorithms are intensively used in the image analysis field in compression, segmentation, recognition and other tasks. In this work we present a new approach in clustering vector datasets by finding...