6202 search results - page 917 / 1241 » Without Loss of Generality |
152
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Speed dependent automatic zooming (SDAZ) is a promising refinement to scrolling in which documents are automatically zoomed-out as the scroll rate increases. By automatically zoom...
196
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
175
click to vote
CHI
2003
ACM
2003
ACM
Hardware companions?: what online AIBO discussion forums reveal about the human-robotic relationship
16 years 7 months ago
In this study, we investigated people's relationships with AIBO, a robotic pet, through 6,438 spontaneous postings in online AIBO discussion forums. Results showed that AIBO ...
163
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Previous research reported interesting gender effects involving specific benefits for females navigating with wider fields of view on large displays. However, it was not clear wha...
311
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...