4190 search results - page 434 / 838 » Type Class Directives |
151
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We present an empirical investigation of video-mediated free play between 13 pairs of friends (ages 7 and 8). The pairs spent 10 minutes playing with each of four different protot...
160
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Particle swarm optimization (PSO) is a swarm intelligence technique originally inspired by models of flocking and of social influence that assumed homogeneous individuals. Du...
166
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Keystroke dynamics—the analysis of typing rhythms to discriminate among users—has been proposed for detecting impostors (i.e., both insiders and external attackers). Since man...
150
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
180
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...