670 search results - page 80 / 134 » An Immunological Approach to Change Detection: Theoretical R... |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
IJCV
1998
13 years 7 months ago
1998
Most optical flow estimation techniques have substantial difficulties dealing with flow discontinuities. Methods which simultaneously detect flow boundaries and use the detect...
AICT
2006
IEEE
14 years 1 months ago
2006
IEEE
— As the number of online auction sites has increased, interest towards providing reliable summaries, reputations, about the past behaviour of sellers has risen. Existing approac...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Two adaptive receivers for jointly detecting active users in an interleave division multiple access (IDMA) system are considered for highly dispersive underwater acoustic channels...
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract-- Detecting and isolating multiple faults is a computationally intense task which typically consists of computing a set of tests, and then computing the diagnoses based on...