5202 search results - page 690 / 1041 » A Survey of Human Computation Systems |
176
click to vote
AAAI
2000
15 years 8 months ago
2000
Spatio-temporal data sets arise when time-varying physical fields are discretized for simulation or analysis. Examples of time-varying fields are isothermal regions in the sea or ...
212
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
206
click to vote
GROUP
2005
ACM
16 years 12 days ago
2005
ACM
Traditional activities change in surprising ways when computermediated communication becomes a component of the activity system. In this descriptive study, we leverage two perspec...
155
click to vote
NORDICHI
2004
ACM
16 years 7 days ago
2004
ACM
Previous research has sought to utilize everyday messaging metaphors, such as the notice board, in location-based messaging systems. Unfortunately, many of the restrictions associ...
173
click to vote
PDC
2004
ACM
16 years 7 days ago
2004
ACM
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...