The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
In this paper, the computation of likelihood of block motion candidates is considered. The method is based on the evaluation of the sum of squared differences (SSD) measure for lo...
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
This paper describes our work in examining the question of whether providing a visual informatics application in an educational scenario, in particular, providing video content ana...