Sciweavers

1604 search results - page 188 / 321
» Development Separation in Lambda-Calculus
Sort
View
KDD
2005
ACM
142views Data Mining» more  KDD 2005»
16 years 4 months ago
Towards exploratory test instance specific algorithms for high dimensional classification
In an interactive classification application, a user may find it more valuable to develop a diagnostic decision support method which can reveal significant classification behavior...
Charu C. Aggarwal
CHI
2007
ACM
16 years 4 months ago
Pressure marks
Selections and actions in GUI's are often separated ? i.e. an action or command typically follows a selection. This sequence imposes a lower bound on the interaction time tha...
Gonzalo A. Ramos, Ravin Balakrishnan
CHI
2005
ACM
16 years 4 months ago
Sticky widgets: pseudo-haptic widget enhancements for multi-monitor displays
People use multiple monitors to increase their display surface and to facilitate multitasking. However, if windows are maximized to fill one screen, users may have difficulties ac...
Regan L. Mandryk, Malcolm E. Rodgers, Kori M. Inkp...
CHI
2005
ACM
16 years 4 months ago
Hug over a distance
People in close relationships, who are separated by distance, often have difficulty expressing intimacy adequately. Based on the results of an ethnographic study with couples, a p...
Florian Mueller, Frank Vetere, Martin R. Gibbs, Je...
POPL
2002
ACM
16 years 4 months ago
Composing dataflow analyses and transformations
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...
Sorin Lerner, David Grove, Craig Chambers