121 search results - page 14 / 25 » Using adaptive distinguishing sequences in checking sequence... |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
JMLR
2006
13 years 8 months ago
2006
Spam filtering poses a special problem in text categorization, of which the defining characteristic is that filters face an active adversary, which constantly attempts to evade fi...
CHARME
2003
Springer
14 years 8 days ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
TIT
1998
13 years 8 months ago
1998
Abstract— Properties of the ambiguity function and the uncertainty relation of Fourier transforms assert fundamental limitations on the ability of any single radar waveform of co...
PAMI
2008
13 years 8 months ago
2008
We propose a novel adaptive technique for detecting moving shadows and distinguishing them from moving objects in video sequences. Most methods for detecting shadows work in a stat...