3342 search results - page 390 / 669 » Symbolic Robustness Analysis |
175
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
In the presence of non-gaussian noise, we propose a method for the detection of underwater shipradiated signal. The wavelet decomposition of the underwater signal yields a natural...
201
click to vote
IJRR
2010
15 years 1 months ago
2010
We propose a particle filtering-based visual tracker, in which the affine group is treated as the state. We first develop a general particle filtering algorithm that explicitly tak...
162
click to vote
UIST
2004
ACM
16 years 4 days ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
182
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
202
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
Large collections of scanned documents (books and journals) are now available in Digital Libraries. The most common method for retrieving relevant information from these collectio...