1604 search results - page 188 / 321 » Development Separation in Lambda-Calculus |
118
Voted
KDD
2005
ACM
16 years 28 days ago
2005
ACM
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...
CHI
2007
ACM
16 years 27 days ago
2007
ACM
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...
68
Voted
CHI
2005
ACM
16 years 27 days ago
2005
ACM
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...
CHI
2005
ACM
16 years 27 days ago
2005
ACM
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...
209
Voted
POPL
2002
ACM
16 years 25 days ago
2002
ACM
Dataflow analyses can have mutually beneficial interactions. Previous efforts to exploit these interactions have either (1) iteratively performed each individual analysis until no...