The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The Orthogonal Matching Pursuit (OMP) algorithm has been intensively applied for its simple structure and reconstruction efficiency. However, the reconstruction accuracy of OMP algorithm still needs to be improved. Though the OMP-based algorithms, LAOMP algorithm and KOMP algorithm proposed in recent years have significantly improved reconstruction performance while it can lead to fairly high computational...
Model checking is an automated technique for verifying temporal logic properties of finite state systems. Tarjan's algorithm for detecting Strongly Connected Components (SCCs) is a widely used depth-first search procedure for Automatabased (LTL) model checking. It works on the SCC detection on-the-fly with the composition of transition systems and Büchi Automaton (state space generation), which has...
In this paper, we report our discovery of general transformation conditions and patterns underlying a range of Operational Transformation (OT) systems for achieving convergence. Based on these conditions and patterns, we have established convergence correctness of seven existing OT systems, and designed two new OT systems with a unique combination of novel features for supporting advanced collaborative...
In this paper, we propose a novel online visual tracking algorithm using ensemble color feature. Visual tracking has long been one of the most important topics in computer vision. In recent years, significant progress has been achieved by the state-of-the-art tracking algorithms. However, some challenging problems still remain unsolved. One general problem is that it is difficult for a tracking algorithm...
Object tracking is one of the most important topics in computer vision. While the state-of-the-art tracking algorithms achieved great success, there are still some challenging problems to be solved. Firstly, it remains a tough task to develop a tracking algorithm with both accuracy and efficiency. Secondly, the ground truth is often given by a rectangular bounding box, which contains not only the...
Event aggregation in Wireless Sensor Networks (WSNs) is a process of combining several low-level events into a high-level event to eliminate redundant information to be transmitted and thus save energy. Existing works on event aggregation consider either latency constraint or aggregation function, but not both. A solution jointly considering the two issues will be desirable. Moreover, existing works...
In this paper, the problem of concealing missing image/video blocks is casted into a framework of Bayesian estimation. The conditional expectation of the missing block vector is taken over a pilot vector of correctly decoded pixels near the missing block. Multiple observations of the missing vector and pilot vectors obtained in a nonlocal manner are used to approximate the expectation. We design a...
A qualitative reasoning approach is used for the spatial configuration of mechanisms in conceptual design phase. The appropriate types of mechanisms are chosen firstly for a specific reasoning task. The qualitative vectors of the basic components are given to construct the complicated mechanism. Based on the qualitative sign algebra rules, the reasoning algorithm is presented to reason the spatial...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.