1375 search results - page 56 / 275 » eg 2006 |
147
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
We present a system to automatically generate RSS feeds from HTML documents that consist of time-series items with date expressions, e.g., archives of weblogs, BBSs, chats, mailin...
127
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We outline initial investigations into how choices of spatial configuration, input devices and display technologies influence action and interaction in hybrid electronic and physi...
123
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Drawing on an ethnographic study of hospital work in an operating room, we present the design and implementation of a web-based role-playing application of a master schedule. We s...
129
Voted
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Interaction patterns are becoming an important method for bridging the gap between analysis and design in user-centered design. Recent studies, however, have indicated problems in...
111
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...