Sciweavers

26472 search results - page 304 / 5295
» Interactive
Sort
View
FOCS
1990
IEEE
15 years 10 months ago
Algebraic Methods for Interactive Proof Systems
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an...
Carsten Lund, Lance Fortnow, Howard J. Karloff, No...
JOBIM
2000
15 years 10 months ago
InterDB, a Prediction-Oriented Protein Interaction Database for C. elegans
Protein-protein interactions are critical to many biological processes, extending from the formation of cellular macromolecular structures and enzymatic complexes to the regulation...
Nicolas Thierry-Mieg, Laurent Trilling
BCSHCI
2008
15 years 8 months ago
First international workshop on using ontologies in interactive systems, ONTORACT'08
The aim of the workshop is to hold a multidisciplinary event bringing together researchers and practitioners to share their experiences of using ontologies for managing user inter...
Matt-Mouley Bouamrane, Saturnino Luz, Masood Masoo...
IFIP3
2008
118views Education» more  IFIP3 2008»
15 years 8 months ago
Learning with Smart Multipurpose Interactive Learning Environment
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...
Mária Bieliková, Marko Divéky...
AVI
2006
15 years 8 months ago
Bubble radar: efficient pen-based interaction
The rapid increase in display sizes and resolutions has led to the re-emergence of many pen-based interaction systems like tabletop and wall display environments. Pointing in thes...
Dzmitry Aliakseyeu, Miguel A. Nacenta, Sriram Subr...