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.
Test generation for hard-to-reach states is important in functional verification. In this paper, we present a path constraint solving-based test generation method (PACOST) which operates in an abstraction-guided semiformal verification framework to cover hard-to-reach states. PACOST combines concrete simulation and symbolic simulation on the design under verification for path constraint extraction...
As a crucial step for the other tasks, such as human gene/protein normalization, relationship extraction and hypothesis generation, biomedical named entity recognition remains a challenging task. This paper represents a two-phase approach based on semi-CRFs and novel feature sets. Semi-CRFs put the label to a segment not a single word which is more natural than the other machine learning methods....
Online forums contain huge amounts of valuable user-generated content. In current forum systems, users have to passively wait for other users to visit the forum systems and read/answer their questions. The user experience for question answering suffers from this arrangement. In this paper, we address the problem of "pushing" the right questions to the right persons, the objective being to...
Cloth simulation is an important research area in computer graphics worldwide at present, and the study, which processes surface intersection during the course of cloth collision, is a difficulty in cloth simulation. We present a global optimization algorithm close to the reality and minimizing intersection contour lines, in order to improve authenticity of the results of cloth surface intersection...
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.