Sciweavers

2618 search results - page 273 / 524
» Natural Human-Robot Interaction
Sort
View
ECAL
2007
Springer
15 years 10 months ago
Evolution of Cooperation in a Population of Selfish Adaptive Agents
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...
Jorge M. Pacheco, Tom Lenaerts, Francisco C. Santo...
HRI
2007
ACM
15 years 10 months ago
Learning by demonstration with critique from a human teacher
Learning by demonstration can be a powerful and natural tool for developing robot control policies. That is, instead of tedious hand-coding, a robot may learn a control policy by ...
Brenna Argall, Brett Browning, Manuela M. Veloso
ACMACE
2006
ACM
15 years 10 months ago
Use of eye movements for video game control
We present a study that explores the use of a commercially available eye tracker as a control device for video games. We examine its use across multiple g...
J. David Smith, T. C. Nicholas Graham
CLEF
2006
Springer
15 years 10 months ago
iCLEF 2006 Overview: Searching the Flickr WWW Photo-Sharing Repository
This paper summarizes the task design for iCLEF 2006 (the CLEF interactive track). Compared to previous years, we have proposed a radically new task: searching images in a natural...
Jussi Karlgren, Julio Gonzalo, Paul Clough
CSFW
2010
IEEE
15 years 10 months ago
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
Simon Meier, Cas J. F. Cremers, David A. Basin