Sciweavers

4839 search results - page 399 / 968
» A survey of computational complexity results in systems and ...
Sort
View
DAGSTUHL
2010
15 years 8 months ago
Audio-visual Virtual Reality System for Room Acoustics
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
Eduard Deines, Martin Hering-Bertram, Jan Mohring,...
JACIII
2007
104views more  JACIII 2007»
15 years 6 months ago
Adaptive Action Selection of Body Expansion Behavior in Multi-Robot System Using Communication
In multi-robot system, cooperation is needed to execute tasks efficiently. The purpose of this study is to realize cooperation among multiple robots using interactive communicatio...
Tomohisa Fujiki, Kuniaki Kawabata, Hajime Asama
CHI
2004
ACM
16 years 7 months ago
EyeDraw: a system for drawing pictures with the eyes
This paper describes the development of EyeDraw, a software system that enables children with severe motor impairments to draw pictures by just moving their eyes. EyeDraw will hel...
Anthony J. Hornof, Anna Cavender, Rob Hoselton
IJFCS
2007
93views more  IJFCS 2007»
15 years 6 months ago
Modelling and Analysis of PKI-Based Systems Using Process Calculi
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
Benjamin Aziz, Geoff Hamilton
MFCS
2010
Springer
15 years 5 months ago
Proof Systems and Transformation Games
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
Yoram Bachrach, Michael Zuckerman, Michael Wooldri...