6770 search results - page 37 / 1354 » How GPUs Work |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
This paper explores how homeless young people, aged 1325, make use of information systems in daily life. Observed in a community technology center, four different examples of uses...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper reports on a case study conducted to guide the design and implementation of a group support system. Network analysis of student self-reported interactions was conducted...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes and contrasts findings from two related projects where groups of science pupils investigated local air pollution using a collection of mobile sensors and devic...
ATAL
2004
Springer
14 years 29 days ago
2004
Springer
New applications for autonomous robots bring them into the human environment where they are to serve as helpful assistants to untrained users in the home or office, or work as ca...
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...