5005 search results - page 363 / 1001 » The Design and Analysis of Parallel Algorithms |
213
click to vote
ICFEM
2010
Springer
15 years 4 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...
143
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...
164
click to vote
ICIP
2009
IEEE
15 years 3 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...
172
click to vote
TSP
2010
15 years 25 days ago
2010
A novel (differential) entropy estimator is introduced where the maximum entropy bound is used to approximate the entropy given the observations, and is computed using a numerical ...
139
click to vote
SIGCSE
1997
ACM
15 years 10 months ago
1997
ACM
When teaching a course in compiler design, it is conventional to introduce the iterative calculation of least fixed points quite late in the course, in the guise of iterative dat...