Algorithm animation has received much interest over the last few years. In this paper, we discuss the experiences gained in integrating animations into introductory computer scien...
Skew detection via principal components is proposed as an e ective methodforimageswhich contain other parts than text. It is shown that the negative of the image leads to much mor...
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
Controlled compliance and accommodation matrix techniques are considered for robust insertion of threaded fasteners. Errors in translational positioning are shown to be easily cor...
Motivated by the quest for reducing assumptions in security proofs in cryptography, this paper is concerned with designing efficient symmetric encryption and authentication schemes...