![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
161 Result(s)
-
Chapter and Conference Paper
A Model for Synchronous Switching Circuits and its Theory of Correctness
Following Bryant [2], an algorithm is given for translating a switching circuit design into a program which simulates its dynamic behaviour. A theory of assertions based on Dijkstra [4] and UNITY [3] is then d...
-
Chapter and Conference Paper
An Adequate First Order Interval Logic
This paper introduces left and right neighbourhoods as primitive interval modalities to deFine other unary and binary modalities of intervals in a first order logic with interval length. A complete first order lo...
-
Chapter and Conference Paper
Duration Calculus, a Logical Approach to Real-Time Systems
The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses real numbers to model time, and Boolean-valued (i.e. 0,1-valued) function...
-
Chapter and Conference Paper
Optimization of Spatial Joins on Mobile Devices
Mobile devices like PDAs are capable of retrieving information from various types of services. In many cases, the user requests cannot directly be processed by the service providers, if their hosts have limite...
-
Chapter and Conference Paper
Minimum-Cost Optimization in Multicommodity Logistic Chain Network
This paper presents a method of modeling and solving a very complicated real logistic problem in the management of transportation and sales. The problem to be addressed is a large-scale multicommodity, multi-s...
-
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
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
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
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
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
Identification and Analysis of Cell Cycle Phase Genes by Clustering in Correspondence Subspaces
Correspondence analysis (CA) is a statistical method that is widely used in multiple disciplines to reveal relationships amongst variables. Among others, CA has been successfully applied for microarray data an...
-
Chapter and Conference Paper
Legal Theoretical Analysis on the Market Economy Mode of China—Discussing from the Status of Market Economy in Anti-dumpling
Most of the discussion on Chinese market economy mode stayed in the representation, such as government-led and mixed economic model. However, the in-depth analysis of the reason for the formation of Chinese mo...
-
Chapter and Conference Paper
Research on Puncture Area Calibration of Image Navigation for Radio Frequency Ablation Robot
Aiming at puncture image characteristic of robot auxiliary radio frequency ablation, a modified tradition camera calibration method is proposed in this paper. Based on the comprehensive analysis for puncture i...
-
Chapter and Conference Paper
Vision-Guided Robot Tracking Algorithm Based on Characteristic Description of Maneuvering Target
The change of appearance characteristic is caused by changing viewpoint in the maneuvering target tracking. The traditional Camshift tracking algorithm based on a single color histogram model is not robust to ...
-
Chapter and Conference Paper
Small-Scale Evaluation of Tobacco Planting Suitability Based on Spatial Information Technology
Crop planting suitability evaluation is important for agricultural production. In this study, a comprehensive evaluation framework which combined geographical information system, remote sensing, global positio...
-
Chapter and Conference Paper
A Method of Software Defects Mining Based on Static Analysis
Software defects are easy to cause when programming by C++ language, because of its features of flexibility and complexity, as well as its large number of undefined behaviors. According to “MISRA C++ 2008” saf...
-
Chapter and Conference Paper
An Algorithm of Channel Assignment of MAC Layer in Ad Hoc Network Based on Dynamic Game with Perfect and Complete Information
The nodes in Ad Hoc networks compete channels when communicating, with the features of no center and self-organization. In traditional channel assignment strategy of MAC layer, each node does not consider the ...
-
Chapter and Conference Paper
A New Balancing Type of Wireless Sensor Network Routing Algorithm
In general, wireless sensor network works by a small battery-powered, or limited energy. Once the wireless sensor network is deployed, the energy of small sensor nodes can not be replaced. So, to improve energ...
-
Chapter and Conference Paper
Fuzzy Double Model Control for Air Supply on a PEM Fuel Cell System
Oxygen excess ratio control is closely related to the performance and safety of a Proton Exchange Membrane fuel cell system. Some control strategies should be used to regulate the oxygen excess ratio at the su...