Sciweavers

291 search results - page 6 / 59
» Interface Input Output Automata
Sort
View
OPODIS
2010
14 years 9 months ago
On the Automated Implementation of Time-Based Paxos Using the IOA Compiler
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
Chryssis Georgiou, Procopis Hadjiprocopiou, Peter ...
CLIN
2003
15 years 1 months ago
Incremental Construction of Minimal Sequential Transducers
This paper presents an efficient algorithm for the incremental construction of a minimal acyclic sequential transducer (ST) from a list of input and output strings. The algorithm...
Wojciech Skut
EICS
2009
ACM
15 years 6 months ago
Toward user interface virtualization: legacy applications and innovative interaction systems
Single-user, desktop-based computer applications are pervasive in our daily lives and work. The prospect of using these applications with innovative interaction systems, like mult...
Guillaume Besacier, Frédéric Vernier
ICMI
2004
Springer
116views Biometrics» more  ICMI 2004»
15 years 5 months ago
Towards integrated microplanning of language and iconic gesture for multimodal output
When talking about spatial domains, humans frequently accompany their explanations with iconic gestures to depict what they are referring to. For example, when giving directions, ...
Stefan Kopp, Paul Tepper, Justine Cassell
CHINZ
2006
ACM
15 years 5 months ago
Bare-hand 3D gesture input to interactive systems
Although the 2D desktop metaphor has been the dominating paradigm of user interfaces for over two decades, 3D models of interaction are becoming more feasible due to advances in c...
Pushkar Dhawale, Masood Masoodian, Bill Rogers