Sciweavers

2349 search results - page 238 / 470
» Four gravity results
Sort
View
WWW
2001
ACM
16 years 7 months ago
Support concepts for Web navigation: a cognitive engineering approach
Current Network User Interfaces (NUIs) provide entrances to an enormous amount of Web-based services, bringing about new use problems such as laborious and unsuccessful navigation...
Mark A. Neerincx, Jasper Lindenberg, Steven Pember...
VLSID
2009
IEEE
115views VLSI» more  VLSID 2009»
16 years 7 months ago
Efficient Techniques for Directed Test Generation Using Incremental Satisfiability
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
Prabhat Mishra, Mingsong Chen
CHI
2009
ACM
16 years 7 months ago
Friend or foe?: examining CAS use in mathematics research
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
Andrea Bunt, Michael Terry, Edward Lank
165
Voted
CHI
2009
ACM
16 years 7 months ago
MicroRolls: expanding touch-screen input vocabulary by distinguishing rolls vs. slides of the thumb
The input vocabulary for touch--screen interaction on handhelds is dramatically limited, especially when the thumb must be used. To enrich that vocabulary we propose to discrimina...
Anne Roudaut, Eric Lecolinet, Yves Guiard
CHI
2007
ACM
16 years 7 months ago
Selection-based note-taking applications
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...
Aaron Bauer, Kenneth R. Koedinger