5188 search results - page 409 / 1038 » Information Flow in Interactive Systems |
180
click to vote
ENTCS
2008
15 years 7 months ago
2008
We present a type system extending the dependent type theory LF, whose terms are more amenable to compact representation. This is achieved by carefully omitting certain subterms w...
138
click to vote
ACMDIS
2006
ACM
16 years 25 days ago
2006
ACM
Sensorial interfaces are based on augmenting existing physical objects with digital information. We propose sensorial activity theory to relate mu...
175
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Since health care teams are often distributed across time and location, information sharing is crucial for effective patient care. Studying the use of a mobile information technol...
200
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
293
click to vote
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
With the development of inexpensive storage devices, space usage is no longer a bottleneck for computer users. However, the increasingly large amount of personal information poses ...