Sciweavers

789 search results - page 86 / 158
» A Language Approach to Modeling Human Behaviors
Sort
View
HRI
2009
ACM
14 years 2 months ago
Providing route directions: design of robot's utterance, gesture, and timing
Providing route directions is a complicated interaction. Utterances are combined with gestures and pronounced with appropriate timing. This study proposes a model for a robot that...
Yusuke Okuno, Takayuki Kanda, Michita Imai, Hirosh...
MODELS
2007
Springer
14 years 2 months ago
Statechart Development Beyond WYSIWYG
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...
Steffen Prochnow, Reinhard von Hanxleden
COGSCI
2010
75views more  COGSCI 2010»
13 years 6 months ago
Five Reasons to Doubt the Existence of a Geometric Module
It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the huma...
Alexandra D. Twyman, Nora S. Newcombe
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
13 years 12 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
MM
2005
ACM
188views Multimedia» more  MM 2005»
14 years 1 months ago
Detecting group activities using rigidity of formation
Most work in human activity recognition is limited to relatively simple behaviors like sitting down, standing up or other dramatic posture changes. Very little has been achieved i...
Saad M. Khan, Mubarak Shah