Sciweavers

2909 search results - page 430 / 582
» Consistency of the theory of contexts
Sort
View
KDD
2009
ACM
183views Data Mining» more  KDD 2009»
16 years 1 months ago
Financial incentives and the "performance of crowds"
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...
Winter A. Mason, Duncan J. Watts
CSFW
2009
IEEE
16 years 1 months ago
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
Sagar Chaki, Anupam Datta
IEEEPACT
2009
IEEE
16 years 1 months ago
Automatic Tuning of Discrete Fourier Transforms Driven by Analytical Modeling
—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...
ISMAR
2009
IEEE
16 years 1 months ago
Augmented touch without visual obtrusion
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...
AIED
2009
Springer
16 years 1 months ago
Feedback Specificity and the Learning of Intercultural Communication Skills
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 ...