Sciweavers

2451 search results - page 114 / 491
» Alternative Test Methods Using IEEE 1149.4
Sort
View
CIARP
2006
Springer
14 years 25 days ago
Feature Selection Based on Mutual Correlation
Feature selection is a critical procedure in many pattern recognition applications. There are two distinct mechanisms for feature selection namely the wrapper methods and the filte...
Michal Haindl, Petr Somol, Dimitrios Ververidis, C...
RTCSA
1999
IEEE
14 years 1 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
ICASSP
2011
IEEE
13 years 25 days ago
Multicast transmit beamforming using a randomize-in-time strategy
Recently there has been much interest in using transmit beamforming to provide multi-antenna physical-layer multicasting. A state of the art in this context is the semidefinite r...
Sissi X. Wu, Wing-Kin Ma
ICASSP
2011
IEEE
13 years 25 days ago
Detecting low-rate periodic events in Internet traffic using renewal theory
In our previous work [1, 2] we studied detection of anomalies in packet arrival times for computer networks, most detection of denialof-service (DoS) attacks in Internet traffic....
Sean McPherson, Antonio Ortega
AIRS
2004
Springer
14 years 2 months ago
Applying CLIR Techniques to Event Tracking
Abstract. Cross-lingual event tracking from a very large number of information sources (thousands of Web sites, for example) is an open challenge. In this paper we investigate effe...
Nianli Ma, Yiming Yang, Monica Rogati