Sciweavers

2618 search results - page 93 / 524
» Natural Human-Robot Interaction
Sort
View
BC
2008
134views more  BC 2008»
15 years 4 months ago
Interacting with an artificial partner: modeling the role of emotional aspects
In this paper we introduce a simple model based on probabilistic finite state automata to describe an emotional interaction between a robot and a human user, or between simulated a...
Isabella Cattinelli, Massimiliano Goldwurm, N. Alb...
IANDC
2006
93views more  IANDC 2006»
15 years 4 months ago
Automation for interactive proof: First prototype
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
Jia Meng, Claire Quigley, Lawrence C. Paulson
TOG
2008
110views more  TOG 2008»
15 years 4 months ago
Interactive simulation of stylized human locomotion
Animating natural human motion in dynamic environments is difficult because of complex geometric and physical interactions. Simulation provides an automatic solution to parts of t...
Marco da Silva, Yeuhi Abe, Jovan Popovic
QSIC
2005
IEEE
15 years 10 months ago
Interactive Visualisation and Testing of Jini Services
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...
Bruce Quig, Michael Kölling, John Rosenberg, ...
UIST
1995
ACM
15 years 8 months ago
Hands-on Demonstration: Interacting with SpeechSkimmer
SpeechSkimmer is an interactive system for quickly browsing and finding information in speech recordings. Skimming speech recordings is much more difficult than visually scanning ...
Barry Arons