123 Result(s)
-
Chapter and Conference Paper
Observing Asymmetry and Mismatch
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity is used to give a general pi...
-
Chapter and Conference Paper
Formalizing the Environment View of Process Equivalence
The notion of program equivalence plays a fundamental role in the understanding of programming related issues in the framework of concurrent/distributive/mobile/global/grid computing. Many observational equiva...
-
Chapter and Conference Paper
An Implementation for Map** SBML to BioSPI
The Systems Biology Markup Language(SBML) is an XML-based format for representing models of Systems Biology. BioSPI is a formal model to simulate biological systems, which is evolved from process calculi. Base...
-
Chapter and Conference Paper
Reasoning with Conditional Preferences Across Attributes
Before an autonomous agent can perform automated negotiation on behalf of a user in an electronic commerce transaction, the user’s preferences over the set of outcomes must be learned as accurately as possible...
-
Chapter and Conference Paper
Discrete-Time Adaptive Sliding Mode Control of Autonomous Underwater Vehicle in the Dive Plane
This paper presents a discrete-time adaptive sliding mode controller for an autonomous underwater vehicle (AUV) in the presence of parameter uncertainties and external disturbance. The controller makes the sys...
-
Chapter and Conference Paper
Reform and Practice of Computational Intelligence
Computational Intelligence (CI) is one important research direction of artificial intelligence fields. According to the characteristics of CI, this paper discuss how to follow the teaching principles in reform...
-
Chapter and Conference Paper
Research on the Power Marketing Technique Supporting System Based on Semantic Web Services
In the power marketing technique supporting system, the data can not be shared, processes can not communicate, there are a large number of ‘information isolated islands. This paper analyzes the deficiency of W...
-
Chapter and Conference Paper
Radar Emitter Signal Recognition Based on Sample Entropy and Fuzzy Entropy
Aiming at the problems of the radar emitter signal (RES) recognition based on intra-pulse feature, a novel entropy feature extraction approach is proposed. In this method the sample entropy (SampEn) and fuzzy ...
-
Chapter and Conference Paper
A Fully Abstract View for Local Cause Semantics
Recent technological trends have pushed concurrency and mobile computing to the mainstream. Too many semantics have been proposed to picture the behavior of concurrent systems, and their relationship has been ...
-
Chapter and Conference Paper
Intelligent Power Management System Based Impedance Identification Technology for Safety of Power Utilization
This chapter presents the design and implementation of the intelligent power management system, which consists of three part: the intelligent Electronic Power Meter (iEPM), the intelligent Electronic Managemen...
-
Chapter and Conference Paper
Experimental Study of Through-Wall Human Detection by UWB Radar with Hilbert Huang Transform
The detection of human targets hidden by walls or rubble, trapped in buildings is of interest for rescue, surveillance and security operations. In this paper, ultra-wideband (UWB) radar and its detection appli...
-
Chapter and Conference Paper
Routing Selection Strategy Based on Link Failure in ZigBee Networks with Changing Mobility
The hierarchical tree routing and Z-AODV routing are both available in ZigBee specification to meet the requirements in different applications. However, the research on principle and method of routing selectio...
-
Chapter and Conference Paper
The Canny Edge Detection and Its Improvement
To solve the problem of the traditional Canny edge detection operator has the weaknesses in excessive smoothing image and adaptability, and improved the parameter Sigma and the method to obtain high threshold....
-
Chapter and Conference Paper
A Study on an Evaluation Model for Robust Nurse Rostering Based on Heuristics
Staff scheduling problem has been researched for decades and dozens of approaches have been proposed. Since in the hospital ward, an optimal solution could be changed for the uncertain causes, such as sick lea...
-
Chapter and Conference Paper
On the Meaning Representation of Fuzzy Words
The basic characteristic of fuzzy language is the meaning uncertainty and fuzziness of the language units, such as words and sentences, and how to represent such fuzzy meaning formally is a problem that is wor...
-
Chapter and Conference Paper
A Framework for Surveillance Video Fast Browsing Based on Object Flags
Conventional surveillance video coding frameworks are designed to maximize the coding efficiency or to improve the adaptability. However, the problem that how to construct a flexible framework for browsing sur...
-
Chapter and Conference Paper
A New Designed Baseball Bat Based on Sweet Spots
This paper describes model testing of a wooden baseball bat with the purpose of finding the peak frequencies and vibration modes and their relation to the so-called “sweet spot”, including the position of the ...
-
Chapter and Conference Paper
Application of Energy Distribution Analysis During the Vehicle Development
Faced with rising vehicle energy saving and environmental protection requirements, if you rely solely on a field of energy saving and consumption reducing, it is hard to get the required amount of goals to imp...
-
Chapter and Conference Paper
Study on Origin and Variation of Taekwondo and the Chinese Traditional Martial Arts Based on Function Increment Variation Method
In this chapter, the deep origin of the traditional martial arts and the Taekwondo were digged out through the scientific analysis of the territory relationship and culture exchanges between ancient China and ...
-
Chapter and Conference Paper
Joint Power and Spectrum Allocation for Relay Stations in Mobile Relay Networks
Mobile phones are among the most popular consumer devices with the recent development of 4G networks. The ubiquity of mobile phones have resulted in increasing capacity demands and extended more and more press...