Sciweavers

2618 search results - page 70 / 524
» Natural Human-Robot Interaction
Sort
View
AGENTS
2000
Springer
15 years 4 months ago
Dynamically altering agent behaviors using natural language instructions
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
Rama Bindiganavale, William Schuler, Jan M. Allbec...
TYPES
1995
Springer
15 years 3 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
TEI
2012
ACM
257views Hardware» more  TEI 2012»
13 years 7 months ago
Beyond affordance: tangibles' hybrid nature
A prevalent assumption behind interface approaches that employ physical means of interaction is that this leverages users’ prior knowledge from the real world. This paper scruti...
Eva Hornecker
WAC
2005
Springer
15 years 5 months ago
On Natural Mobility Models
Abstract. There is an increasing consensus that existing mobility models, such as the well-known random walk or random waypoint models, are insufficient to represent real node mobi...
Vincent Borrel, Marcelo Dias de Amorim, Serge Fdid...

Publication
112views
15 years 3 months ago
Writing with Your Eye: A Dwell Time Free Writing System Adapted to the Nature of Human Eye Gaze
We investigate the usability of an eye controlled writing interface that matches the nature of human eye gaze, which always moves and is not immediately able to trigger the selecti...
Nikolaus Bee and Elisabeth André