34181 search results - page 6564 / 6837 » Computer system |
193
click to vote
RTA
2005
Springer
16 years 28 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
248
click to vote
ACMACE
2004
ACM
16 years 27 days ago
2004
ACM
The game and entertainment industry plays an enormous role within the development and extensive usage of new technologies. They are one major technology driver concerning the deve...
205
Voted
CSCW
2004
ACM
16 years 27 days ago
2004
ACM
The needs of blind and visually impaired users are seriously under-investigated in CSCW. We review work on assistive interfaces especially concerning how collaboration between sig...
210
Voted
MM
2004
ACM
16 years 27 days ago
2004
ACM
In this paper, we propose and investigate a new user scenario for face annotation, in which users are allowed to multi-select a group of photographs and assign names to these phot...
240
click to vote
MOBICOM
2004
ACM
16 years 27 days ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eï...