Sciweavers

3692 search results - page 545 / 739
» Active learning and its use in computer science
Sort
View
ETRA
2008
ACM
254views Biometrics» more  ETRA 2008»
15 years 8 months ago
Voluntary pupil size change as control in eyes only interaction
We investigate consciously controlled pupil size as an input modality. Pupil size is affected by various processes, e.g., physical activation, strong emotional experiences and cog...
Inger Ekman, Antti Poikola, Meeri Mäkär&...
CSCW
2012
ACM
14 years 2 months ago
DiscoTech: a plug-in toolkit to improve handling of disconnection and reconnection in real-time groupware
Disconnection and reconnection are common problems for users of synchronous groupware, but these problems are not easy for developers to handle because of the wide range of scenar...
Banani Roy, T. C. Nicholas Graham, Carl Gutwin
SIGOPS
2011
210views Hardware» more  SIGOPS 2011»
15 years 1 months ago
Small trusted primitives for dependable systems
Secure, fault-tolerant distributed systems are difficult to build, to validate, and to operate. Conservative design for such systems dictates that their security and fault toleran...
Petros Maniatis, Byung-Gon Chun
ICS
2010
Tsinghua U.
16 years 4 months ago
Space-Efficient Estimation of Robust Statistics and Distribution Testing
: The generic problem of estimation and inference given a sequence of i.i.d. samples has been extensively studied in the statistics, property testing, and learning communities. A n...
Steve Chien, Katrina Ligett, Andrew McGregor
ASM
2004
ASM
16 years 3 hour ago
Observations on the Decidability of Transitions
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
Yuri Gurevich, Rostislav Yavorskiy