Sciweavers

4922 search results - page 639 / 985
» Internet time out
Sort
View
IVA
2007
Springer
16 years 1 months ago
Searching for Prototypical Facial Feedback Signals
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...
Dirk Heylen, Elisabetta Bevacqua, Marion Tellier, ...
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
16 years 1 months ago
High Accuracy Navigation in Unknown Environment Using Adaptive Control
Aiming to reduce cycle time and improving the accuracy on tracking, a modified adaptive control was developed, which adapts autonomously to changing dynamic parameters. The platfor...
Fernando Ribeiro, Ivo Moutinho, Nino Pereira, Fern...
TARK
2007
Springer
16 years 1 months ago
A normal simulation of coalition logic and an epistemic extension
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
Jan Broersen, Andreas Herzig, Nicolas Troquard
UCS
2007
Springer
16 years 1 months ago
Detection of User Mode Shift in Home
A ubiquitous environment enable us to enjoy various services “anytime” ”anywhere”. However, “everyone” is not realized. We research an intelligent space “everyone” ...
Hiroyuki Yamahara, Hideyuki Takada, Hiromitsu Shim...
CSFW
2006
IEEE
16 years 29 days ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters