Sciweavers

2056 search results - page 307 / 412
» time 2000
Sort
View
CSCW
2000
ACM
15 years 9 months ago
MUSICFX: an arbiter of group preferences for computer supported collaborative workouts
Environmental factors affecting shared spaces are typically designed to appeal to the broadest audiences they are expected to serve, ignoring the preferences of the people actuall...
Joseph F. McCarthy, Theodore D. Anagnost
DAC
2000
ACM
15 years 9 months ago
Fast power grid simulation
The decrease in feature size and added chip functionality in large sub-micron integrated circuits demand larger grids for power distribution. Since power grids are performance lim...
Sani R. Nassif, Joseph N. Kozhaya
123
Voted
ETRA
2000
ACM
102views Biometrics» more  ETRA 2000»
15 years 9 months ago
Evaluating variable resolution displays with visual search: task performance and eye movements
Gaze-contingent variable resolution display techniques allocate computational resources for image generation preferentially to the area around the center of gaze where visual sens...
Derrick Parkhurst, Eugenio Culurciello, Ernst Nieb...
139
Voted
HT
2000
ACM
15 years 9 months ago
Generating presentation constraints from rhetorical structure
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations. Many multimedia systems encode such highlevel int...
Lloyd Rutledge, Brian Bailey, Jacco van Ossenbrugg...
151
Voted
ICFP
2000
ACM
15 years 9 months ago
The duality of computation
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
Pierre-Louis Curien, Hugo Herbelin