Sciweavers

3938 search results - page 289 / 788
» Interactive Protocols on the Reals
Sort
View
GC
2004
Springer
15 years 10 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
WSCG
2001
161views more  WSCG 2001»
15 years 8 months ago
An Animation System for User interface Agents
With the advent of software agents and assistants, the concept of so called conversational user interfaces evolved, incorporating natural language interaction, dialogue management...
Marc Alexa, Uwe Berner, Michael Hellenschmidt, Tho...
OZCHI
2006
ACM
16 years 19 days ago
Tangible tiles: design and evaluation of a tangible user interface in a collaborative tabletop setup
In this paper we describe a tangible user interface “Tangible Tiles”, which utilizes optically tracked transparent Plexiglass tiles for interaction and display of projected im...
Manuela Waldner, Jörg Hauber, Jürgen Zau...
ECCC
2007
86views more  ECCC 2007»
15 years 6 months ago
Interactive PCP
A central line of research in the area of PCPs is devoted to constructing short PCPs. In this paper, we show that if we allow an additional interactive verification phase, with v...
Yael Tauman Kalai, Ran Raz
BMCBI
2007
102views more  BMCBI 2007»
15 years 6 months ago
qPIPSA: Relating enzymatic kinetic parameters and interaction fields
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
Razif R. Gabdoulline, Matthias Stein, Rebecca C. W...