Sciweavers

1957 search results - page 224 / 392
» Multimedia Analysis and Synthesis
Sort
View
AI50
2006
15 years 10 months ago
Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behav
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
Martin Hülse, Steffen Wischmann, Poramate Man...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
15 years 10 months ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
HCI
2007
15 years 8 months ago
HCI and the Face: Towards an Art of the Soluble
The human face plays a central role in most forms of natural human interaction so we may expect that computational methods for analysis of facial information and graphical and robo...
Christoph Bartneck, Michael J. Lyons
LREC
2008
97views Education» more  LREC 2008»
15 years 8 months ago
Subjective Evaluation of an Emotional Speech Database for Basque
This paper describes the evaluation process of an emotional speech database recorded for standard Basque, in order to determine its adequacy for the analysis of emotional models a...
Iñaki Sainz, Ibon Saratxaga, Eva Navas, Inm...