1375 search results - page 56 / 275 » eg 2006 |
WWW
2006
ACM
14 years 8 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...
CHI
2006
ACM
14 years 8 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...
CHI
2006
ACM
14 years 8 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...
CHI
2006
ACM
14 years 8 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...
CADE
2006
Springer
14 years 8 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...