![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
KCK-Means: A Clustering Method Based on Kernel Canonical Correlation Analysis
Kernel Canonical Correlation Analysis (KCCA) is a technique that can extract common features from a pair of multivariate data, which may assist in mining the ground truth hidden in the data. In this paper, a n...
-
Chapter and Conference Paper
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
This paper reports extensions to the GOAL tool that enable it to become a research tool for omega automata and temporal logic. The extensions include an expanded collection of translation, simplification, and ...
-
Chapter and Conference Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Recent studies have suggested the applicability of learning to automated compositional verification. However, current learning algorithms fall short when it comes to learning liveness properties. We extend the au...
-
Chapter and Conference Paper
An Improved Laplacian Smoothing Approach for Surface Meshes
This paper presents an improved Laplacian smoothing approach (ILSA) to optimize surface meshes while maintaining the essential characteristics of the discrete surfaces. The approach first detects feature nodes...
-
Chapter and Conference Paper
Single Data Copying for MPI Communication Optimization on Shared Memory System
Shared memory system is an important platform for high performance computing. In traditional parallel programming, message passing interface (MPI) is widely used. But current implementation of MPI doesn’t take...
-
Chapter and Conference Paper
Accelerating XML Structural Matching Using Suffix Bitmaps
With the rapidly increasing popularity of XML as a data format, there is a large demand for efficient techniques in structural matching of XML data. We propose a novel filtering technique to speed up the struc...
-
Chapter and Conference Paper
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware
An infrastructure is proposed for automatically modeling the impact of middleware to component-based system at architectural level performance evaluation. The basic ideas behind infrastructure are separation o...
-
Chapter and Conference Paper
Torsional Pile Subjected to Transient Loading in Viscoelastic Poroelastic Medium
Considering viscoelastic saturated soil, The transient dynamic response of an elastic pile is studied. The pile-soil system is divided into thin layers, the control equations of the soil are solved respectivel...
-
Chapter and Conference Paper
Improving XML Querying with Maximal Frequent Query Patterns
Querying on XML data is a computational-expensive process due to the complex nature of both the XML data and the query. In this paper, we propose an approach to expedite XML query processing by caching the res...
-
Chapter and Conference Paper
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
In this paper, we present a tool named GOAL (an acronym derived from “Graphical Tool for Omega-Automata and Logics”) whose main functions include (1) drawing and testing Büchi automata, (2) checking the language ...
-
Chapter and Conference Paper
Supporting a Real-Time Distributed Intrusion Detection Application on GATES
Increasingly, a number of applications across computer sciences and other science and engineering disciplines rely on, or can potentially benefit from, analysis and monitoring of data streams. We view the problem...
-
Chapter and Conference Paper
Efficient Population Diversity Handling Genetic Algorithm for QoS-Aware Web Services Selection
To maximize user satisfaction during composition of web services, a genetic algorithm with population diversity handling is presented for Quality of Service(QoS)-aware web services selection. In this algorithm...
-
Chapter and Conference Paper
A Reputation Management Framework Based on Global Trust Model for P2P Systems
A framework based on global trust model, called SRGTrust, is proposed for reputation management in P2P systems. SRGTrust assigns each peer a unique global trust value, which reflects the rating that the system...
-
Chapter and Conference Paper
Content-Aware Automatic QoS Provisioning for UpnP AV-Based Multimedia Services over Wireless LANs
With the advent of wireless and mobile devices, wireless communications technology is enjoying its fastest growth period in history. It has been greatly affecting the way we live and work. Two main challenges ...
-
Chapter and Conference Paper
A Single Thread Discrete Event Simulation Toolkit for Java: STSimJ
Discrete event simulation is widely used in simulating complex systems. SimJava [6] is a popular java toolkit for discrete event simulation. However, SimJava employs multiple threads for the simulation process...