759 search results - page 32 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
121
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
We introduce a new SIR particle filter that performs tracking in a joint feature space where pixel domain data are fused with measurements obtained from an 18-channel modulation d...
122
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
103
click to vote
FAST
2008
15 years 5 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
125
click to vote
FTCS
1998
15 years 4 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
108
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
We describe an application of probabilistic modeling to the problem of recognizing radio galaxies with a bentdouble morphology. The type of galaxies in question contain distinctiv...