918 search results - page 2 / 184 » Alternation in Interaction |
COCO
1994
Springer
13 years 9 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
BMCBI
2007
13 years 5 months ago
2007
Background: Alternative representations of biochemical networks emphasise different aspects of the data and contribute to the understanding of complex biological systems. In this ...
ISMAR
2002
IEEE
13 years 10 months ago
2002
IEEE
In this work we compare an in-house designed Tangible User Interface (TUI) with three alternative single-user tools through an empirical investigation. These three alternative too...
CASCON
2003
13 years 6 months ago
2003
CHI
2004
ACM
14 years 5 months ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...