608 search results - page 74 / 122 » Interactive Oracle Proofs |
TEI
2012
ACM
12 years 5 months ago
2012
ACM
Most current mobile technologies require on-screen operations for interacting with devices’ visual contents. However, as a trade-off for mobility, screens usually provide limite...
HCI
2009
13 years 7 months ago
2009
This paper presents a system for another input modality in a multimodal human-machine interaction scenario. In addition to other common input modalities, e.g. speech, we extract he...
ECCC
2007
13 years 10 months ago
2007
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...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
BMCBI
2007
13 years 10 months ago
2007
Background: Nowadays modern biology aims at unravelling the strands of complex biological structures such as the protein-protein interaction (PPI) networks. A key concept in the o...