3228 search results - page 326 / 646 » Computationally Sound Proofs |
107
click to vote
ICASSP
2008
IEEE
15 years 10 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 ...
145
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
The effect of additive noise in a speaker recognition system is well known to be a crucial problem in real life applications. In a speaker recognition system, if the test utteranc...
117
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
Congestion control for compressed audio is a nontrivial pursuit. Audio perception is highly susceptible to disturbance in temporal quality. We recently proposed and implemented a ...
132
click to vote
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Encouraging the release of network data is central to promoting sound network research practices, though the publication of this data can leak sensitive information about the publ...
144
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
We suggest a Calculus for Mobile Ad Hoc Networks, CMAN. A node in a network is a processes equipped with a location, it may communicate with other nodes using synchronous local bro...