This paper reports on the results of the adjunct test performed by GE for the MUC-4 evaluation of text processing systems . In this test, we evaluated the effect of an object-orie...
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
Michael R. Clarkson, Stephen Chong, Andrew C. Myer...
This work-in-progress paper describes the features of the ArHeX similarity-oriented XML processing toolkit [12]. ArHeX is designed to assist in the engineering of XML similarity-o...
Ismael Sanz, Rafael Berlanga Llavori, Marco Mesiti...
This paper describes the user interface design and evaluation of TransType, a system that watches over the user as he or she types a translation and repeatedly suggests completions...
Robustness of high fan-in domino circuits is degraded by technology scaling due to exponential increase in leakage. In this paper, we propose a new domino circuit for high fan-in ...
Farshad Moradi, Hamid Mahmoodi-Meimand, Ali Peirav...