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.
Ultra-wideband (UWB) radar with strong anti-jamming performance and high-range resolution can be used to separate multiple human targets in a complex environment. In recent years, through-wall human being detection with UWB radar has become relatively sophisticated. In this paper, the method of kernel principal component analysis (KPCA) feature extraction and the support vector machine (SVM) classification...
Formal program verification is a powerful technique to ensure the correctness of programs. To perform this technique, one oftentimes needs to manually specify assertions, which is a time-consuming and error-prone task. Generating assertions automatically can significantly improve the usability of formal program verification. To decide where an assertion is needed heavily and which value range of the...
Dynamic timing errors (DTEs), that are caused by the timing violations of sensitized critical timing paths, have emerged as an important threat to the reliability of digital circuits. Existing approaches model the DTEs without considering the impact of input operands on dynamic path sensitization, resulting in loss of accuracy. The diversity of input operands leads to complex path sensitization behaviors,...
Paroxysmal sympathetic hyperactivity (PSH) is an important clinical problem of severe traumatic brain injury (TBI) which incurs approximately 90% of all TBI-related costs. However, current detection approach is hampered by no consensus clinical diagnostic criteria, paroxysmal episode feature with complex manifestations, and already overloaded clinical activities. These limitations cause delayed recognitions...
The Highly Automated Driving Map (HAD Map), is an essential and significant research topic in automated driving. In the meanwhile, the corrugated beam guardrail, known as one kind of the traffic crash barrier, is one of the most important elements in the HAD Map. Our novel contribution in this paper is proposing a method to detect corrugated beam guardrail automatically from mobile laser scanning...
Dynamic critical path analysis in modern processors is needed to reduce margins typically determined by the static timing analysis. Dynamic path analysis, however, is cost-prohibitive. In this paper, we propose WILD, a supervised learning model to predict dynamic delay of functional units (FUs) based on the input workload during execution. We measure the dynamic delay using switching activity generated...
A novel ZigBee device identification method using physical radio frequency (RF) features of the wireless device is proposed in this paper. A differential constellation trace figure (DCTF) processing is proposed for RF fingerprint features extraction and a DCTF based clustering algorithms is employed for wireless device identification. Theoretical analysis shows that the proposed DCTF based identification...
In order to overcome the shortcomings of insufficient information return by traditional search engine, improve the speed and accuracy of relevance judgment, a new sentence scoring method is proposed, which incorporate weighted query phrases and the structure information into sentence scoring based on the phrase recognition of the query and the analysis of structure of Web pages. Mutual information...
Two approaches to text classification based on summarization technique are proposed: in the first approach, the heuristic rules of auto-summarization are used to select and weight features for every category, and texts are classified by these features; in the second approach, the text summarization is directly used for classification instead of the original text. Experimental results show that the...
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.