6289 search results - page 352 / 1258 » Error Sequence Analysis |
161
click to vote
WSC
2007
15 years 9 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
258
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
162
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—We initiate the probabilistic analysis of linear programming (LP) decoding of low-density parity-check (LDPC) codes. Specifically, we show that for a random LDPC code e...
181
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
We describe a higher-orderspectralanalysis-basedapproach for detecting people by recognizing human motion such as walking or running. The periodic attribute of human motion lends ...
132
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We present an approach for recognizing human walking movements using low-level motion regularities and constraints. Biomechanical features for classification are automatically ext...