740 search results - page 134 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Web sites are designed for graphical mode of interaction. Sighted users can "cut to the chase" and quickly identify relevant information in Web pages. On the contrary, i...
VIS
2007
IEEE
14 years 8 months ago
2007
IEEE
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
AUIC
2005
IEEE
14 years 1 months ago
2005
IEEE
The augmented desk is gaining popularity in recent HCI research. Its layout of a large horizontal screen on the desk enhances immersive and intense collaborative experiences. A re...
ACMIDC
2009
13 years 11 months ago
2009
Informal educational experiences with grandparents and other older adults can be an important component of childrens education, especially in circumstances where high quality educ...
BMCBI
2010
13 years 7 months ago
2010
Background: Transcription Factors (TFs) and microRNAs (miRNAs) are key players for gene expression regulation in higher eukaryotes. In the last years, a large amount of bioinforma...