Sciweavers

1870 search results - page 66 / 374
» Abstract And-Parallel Machines
Sort
View
TYPES
2004
Springer
14 years 1 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
AWIC
2003
Springer
14 years 1 months ago
A Machine Learning Based Evaluation of a Negotiation between Agents Involving Fuzzy Counter-Offers
Abstract. Negotiation plays a fundamental role in systems composed of multiple autonomous agents. Some negotiations may require a more elaborated dialogue where agents would explai...
Javier Carbo Rubiera, Agapito Ledezma
GW
1997
Springer
92views Biometrics» more  GW 1997»
14 years 6 days ago
Neural Architecture for Gesture-Based Human-Machine-Interaction
Abstract. We present a neural architecture for gesture-based interaction between a mobile robot and human users. One crucial problem for natural interface techniques is the robustn...
Hans-Joachim Böhme, Anja Brakensiek, Ulf-Diet...
ESANN
2006
13 years 9 months ago
Evolino for recurrent support vector machines
Abstract. We introduce a new class of recurrent, truly sequential SVM-like devices with internal adaptive states, trained by a novel method called EVOlution of systems with KErnel-...
Jürgen Schmidhuber, Matteo Gagliolo, Daan Wie...
KI
2008
Springer
13 years 8 months ago
Visual-Based Emotion Detection for Natural Man-Machine Interaction
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
Samuel Strupp, Norbert Schmitz, Karsten Berns