A semantic-driven synthesis flow for platform-based design
In this work, we propose a semantics-driven synthesis flow, in which the semantics and the abstraction level are determined formally by using the concept of a common modeling domain between functionality and architecture. By doing so, a formal synthesis procedure can be defined and algorithms for automatic optimal mapping derived

title: Efficient octilinear steiner tree construction based on spanning graphs
abstract: Octilinear interconnect is a promising technique to shorten wire lengths. We present two practical heuristic octilinear Steiner tree (OSMT) algorithms in the paper. They are both based on octilinear spanning graphs. The one by edge substitution (OST-E) has a worst case running time of O(nlogn) and similar performance as the batched greedy algorithm[9]. The other one by triangle contraction (OST-T) has a small increase in running time and better performance. Experiments on both industry and random test cases are conducted.

title: Period Optimization for Hard Real-time Distributed Automotive Systems
abstract: The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple electronic control units (ECUs) connected with standardized buses. The most common configuration features periodic activation of tasks and messages coupled with run-time priority-based scheduling. The correct deployment of applications on such architectures requires end-to- end latency deadlines to be met. This is challenging since deadlines must be enforced across a set of ECUs and buses, each of which supports multiple functionality. The need for accommodating legacy tasks and messages further complicates the scenario. In this work, we automatically assign task and message periods for distributed automotive systems. This is accomplished by leveraging schedulability analysis within a convex optimization framework to simultaneously assign periods and satisfy end-to-end latency constraints. Our approach is applied to an industrial case study as well as an example taken from the literature and is shown to be both effective and efficient.

title: Hierarchical model based human motion tracking
abstract: Image sequence based tracking is the pivotal technique of human motion. In the paper, we first propose an appropriate human model and color model. Second, two approaches are proposed aiming at two different levels of color-block information including the boundary and the inner-area: the extraction of the boundary algorithm is based on the Robert operator and the clustering algorithm is based on self-adaptation. Third, we unite two regions, which are processed by different approaches. This step counteracts the ambiguity of obtaining information from each level. Finally, after the rough area of the color-block is obtained, the boundary of the color-block is determined by calculating the histogram of the X,Y coordinate of every point on the boundary of the block. Experimental results are presented.

title: Optimizing complex queries based on similarities of subqueries
abstract: As database technology is applied to more and more application domains, user queries are becoming increasingly complex (e.g. involving a large number of joins and a complex query structure). Query optimizers in existing database management systems (DBMS) were not developed for efficiently processing such queries and often suffer from problems such as intolerably long optimization time and poor optimization results. To tackle this challenge, we present a new similarity-based approach to optimizing complex queries in this paper. The key idea is to identify similar subqueries that often appear in a complex query and share the optimization result among similar subqueries in the query. Different levels of similarity for subqueries are introduced. Efficient algorithms to identify similar queries in a given query and optimize the query based on similarity are presented. Related issues, such as choosing good starting nodes in a query graph, evaluating identified similar subqueries and analyzing algorithm complexities, are discussed. Our experimental results demonstrate that the proposed similarity-based approach is quite promising in optimizing complex queries with similar subqueries in a DBMS.

title: Propagation of Geometric Tolerance Zones in 3D
abstract: This paper considers error propagation in three dimensional geometric constructions using a geometric approach. First, we present definitions and constructions of tolerance zones for various fundamental elements in Euclidean space. Then, we study in detail the propagation of errors during several geometric computations, including the the distance between two skew lines, reflections, projections, and rotations, and we derive new tolerance zones from the old ones.

title: Selectivity estimation using orthogonal series
abstract: Selectivity estimation is an integral part of query optimization. In this paper, we propose a novel approach to approximate data density functions of relations and use them to estimate selectivities. A data density function here is approximated by a partial sum of an orthogonal series. Such approximate density functions can be derived easily, stored efficiently, and maintained dynamically. Experimental results show that our approach yields comparable or better estimation accuracy than the Wavelet and DCT methods, especially in the high dimensional spaces.

title: A unified adaptive approach to accurate skin detection
abstract: Due to variations of lighting conditions and camera hardware settings and the existence of many ethnic people with a wide range of skin colors, a generic skin model is often inadequate to accurately capture the skin distribution for individual images. In this paper, we propose an adaptive skin detection framework, which allows modeling title skin distribution with significantly higher accuracy and flexibility. First, an adaptive skin model, specific to the image under consideration and refined from the skin-similar space, is derived using a Gaussian mixture model (GMM) and standard expectation maximization (EM) algorithm. Then, we develop a support vector machine (SVM) classifier to identify the skin Gaussian from the trained GMM (with two Gaussian components) by incorporating spatial and shape information of skin pixels. Extensive experimental results performed on large image databases have demonstrated the effectiveness and benefits of the proposed approach.