9698 search results - page 1762 / 1940 » models 2010 |
168
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
157
click to vote
UM
2010
Springer
15 years 4 months ago
2010
Springer
Effective pedagogical strategies are important for e-learning environments. While it is assumed that an effective learning environment should craft and adapt its actions to the use...
187
click to vote
USS
2010
15 years 4 months ago
2010
Many techniques have been proposed to generate keys including text passwords, graphical passwords, biometric data and etc. Most of these techniques are not resistant to coercion a...
184
click to vote
USS
2010
15 years 4 months ago
2010
We examine the problem of acoustic emanations of printers. We present a novel attack that recovers what a dotmatrix printer processing English text is printing based on a record o...
212
click to vote
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...