9267 search results - page 275 / 1854 » Expectation-Oriented Analysis and Design |
232
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
232
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we analyze the performance of a distributed queuing medium access control (MAC) protocol designed to execute cooperative ARQ (C-ARQ) schemes at the MAC layer. Due to ...
152
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
180
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
The practical teaching is a key to train students in practical ability and innovative consciousness. But, evaluation standards of practice teaching are still confusion. By analyzin...
186
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...