8828 search results - page 1148 / 1766 » Formal methods in practice |
203
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
A high percentage of false positives remains a problem in current network security detection systems. With the growing reliance of industry on computer networks, and the growing v...
210
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—This paper is concerned with the problem of estimating the relative translation and orientation between an inertial measurement unit and a camera which are rigidly conne...
156
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...
186
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider adaptive two-channel multiple-description coding. We provide an analytical method for designing a resolutionconstrained symmetrical multiple-description coder that use...
163
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Semidefinite relaxation (SDR) is a high-performance efficient approach to MIMO detection especially for the BPSK or QPSK constellations. Recently, a number of research endeavors...