We define a new notion of relatively-sound non-interactive zeroknowledge (NIZK) proofs, where a private verifier with access to a trapdoor continues to be sound even when the Ad...
In this paper, we discuss design considerations and our plans to develop a generalized framework for intelligent support in educational argumentation systems. Our goal is to develo...
Oliver Scheuer, Bruce M. McLaren, Frank Loll, Niel...
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
This paper examines the relations between software architecture and software configuration management. These disciplines overlap because they are both concerned with the structure ...
In the quality assessment task, observers evaluate a natural image based on its perceptual resemblance to a reference. For the utility assessment task, observers evaluate the usef...