The relationship between financial incentives and performance, long of interest to social scientists, has gained new relevance with the advent of web-based “crowd-sourcing” mo...
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
Basilio B. Fraguela, Yevgen Voronenko, Markus P&uu...
Visuo-haptic mixed reality consists of adding to a real scene the ability to see and touch virtual objects. It requires the use of seethrough display technology for visually mixin...
Francesco I. Cosco, Carlos Garre, Fabio Bruno, Mau...
The role of explicit feedback in learning has been studied from a variety of perspectives and in many contexts. In this paper, we examine the impact of the specificity of feedback ...
Matthew Hays, H. Chad Lane, Daniel Auerbach, Mark ...