![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
356 Result(s)
-
Chapter and Conference Paper
Program Verification Through Computer Algebra
This is to advocate the approach to reducing program verification to the algebraic symbolic computation. Recent advances indicate that various verification problems can be reduced to semi-algebraic systems (SA...
-
Chapter and Conference Paper
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the symbolic computation tools, DISCOVERER ...
-
Chapter and Conference Paper
Agent-Based Social Simulation and Modeling in Social Computing
Agent-based social simulation (ABSS) as a main computational approach to social simulation has attracted increasing attention in the field of social computing. With the development of computer and information ...
-
Chapter and Conference Paper
Data-Aware Clustering Hierarchy for Wireless Sensor Networks
In recent years, the wireless sensor network (WSN) is employed a wide range of applications. But existing communication protocols for WSN ignore the characteristics of collected data and set routes only accord...
-
Chapter and Conference Paper
Estimation of Structural Parameters in Crossed Classification Credibility Model Using Linear Mixed Models
In this paper, the linear mixed model is used under the Dannenburg’s two-way crossed classification model. Maximum likelihood (ML) and restricted maximum likelihood (REML) methods are employed to estimate the...
-
Chapter and Conference Paper
The Parameter Optimization and Analysis of a Multi-Stage Tower Type of Solar Desalination Unit
After the analysis of the multi-stage tower type of solar desalination unit[1], the unit is optimized and theoretically studied. Through combing the optimized unit with a solar heating system and the simulatio...
-
Chapter and Conference Paper
Dynamic Tracking System through PSO and Parzen Particle Filter
Transportation plays a pivotal role in our society, especially in a good quality of life and economic prosperity. Intelligent transportation system (ITS) has been developed to manage the transport infrastructu...
-
Chapter and Conference Paper
Information Service System For Small Forestowners
Individual owned forests have boomed in the last decade in China. Hundreds of millions of private forest owners have emerged since years of afforestation practice and collective forest ownership reform. Most o...
-
Chapter and Conference Paper
The Economical Analysis and Papameter Optimization of a Low-Temperature Multi-Effect Absorption Solar Desalination System
A low-temperature multi-effect absorption solar desalination system was designed and the variation curves of the yield rate and the performance PR of the system with its operating temperature were given throug...
-
Chapter and Conference Paper
Robust Block and Gray-Level Histogram Based Watermarking Scheme
As one of the crucial problems in watermarking, robustness against geometric distortion and JPEG compression becomes more than challenging and problematic. In this paper, a robust watermarking scheme based on ...
-
Chapter and Conference Paper
Study on Prediction of Tide and Ocean Current by Data-Driven Model
Tide and ocean current are the major dynamic factors for ocean engineering. The insufficiency of tidal level and ocean current data near the ocean engineering waters may bring uncertainty for ocean engineering...
-
Chapter and Conference Paper
Permeability Changes in a Rock Fracture During Coupled Fluid Flow and Chemical Dissolution Processes
A coupled fluid flow and chemical dissolution model in rock fracture is developed in this paper and applied to explain spontaneous changes in permeability that develop within a fracture in limestone under inva...
-
Chapter and Conference Paper
Optimal Inversion of Open Boundary Conditions Using BPNN Data-Driven Model Combined with Tidal Model
One of major difficulties with numerical tidal models is accurate inversion of open boundary conditions. A data-driven model based on artificial neural network is developed to retrieve open boundary values. Al...
-
Chapter and Conference Paper
Category Recommendation in User Specified Structure
Tagging has become a main tool for Internet users to describe and advertise various web resources. The relatively flat structure of the tag space poses lots of challenges in tag based query engines. Many data-...
-
Chapter and Conference Paper
A Calculus for Hybrid CSP
Hybrid Communicating Sequential Processes (HCSP) is an extension of CSP allowing continuous dynamics. We are interested in applying HCSP to model and verify hybrid systems. This paper is to present a calculus ...
-
Chapter and Conference Paper
Robust Image Matching Method Based on Complex Wavelet Structural Similarity
We apply the complex wavelet structural similarity index to image matching system and propose an image matching method which has strong robustness to image transform in spatial domain. Experimental results sho...
-
Chapter and Conference Paper
Agent-Based Modeling of Netizen Groups in Chinese Internet Events
Internet events are public events with the participation of netizens to express their opinions or comments. As an emerging phenomenon, Internet events often draw nationwide attention and eventually influence o...
-
Chapter and Conference Paper
Multi-camera Relay Tracker Utilizing Color-Based Particle Filtering
This paper presents a multi-camera surveillance system for motion detection and object tracking based on Motion History Image (MHI), Color-based Particle Filtering (CPF), and a novel relay strategy. The system...
-
Chapter and Conference Paper
Analysis of the Photonic Crystal Filtering Properties for Exploring Photonic Crystal Filters
In this paper, we researched on the forbidden band of photonic crystal and the crystal defect models properties. We mainly studied three variables: the number of the photonic crystal cycles, the ratio of two m...
-
Chapter and Conference Paper
A Preliminary Evaluation of China’s Implementation Progress in Energy Intensity Targets
China proposed an ambitious goal of reducing energy consumption per unit of GDP by 20% from 2006 to 2010. This paper evaluates the progress of provincial governments implementing energy conservation targets as...