Sciweavers

1120 search results - page 124 / 224
» Making computer science minority-friendly
Sort
View
ICALP
2005
Springer
15 years 9 months ago
The Tree Inclusion Problem: In Optimal Space and Faster
Given two rooted, ordered, and labeled trees P and T the tree inclusion problem is to determine if P can be obtained from T by deleting nodes in T. This problem has recently been r...
Philip Bille, Inge Li Gørtz
NORDICHI
2004
ACM
15 years 9 months ago
Designing a collaborative virtual environment for introducing pupils to complex subject matter
Mission Queen Maud Land (MQML) is a collaborative virtual environment that was developed to explore new ways to stimulate secondary school pupils to collaborate in grasping comple...
Ragnhild Halvorsrud, Simen Hagen
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 9 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
15 years 9 months ago
Wireless Brainstorming: Overcoming Status Effects in Small Group Decisions
Social factors, such as status differences, may prevent some members from participating in group decisions. Computerized group decision support systems (GDSSs) can reduce social i...
John Davis, Melora Zaner, Shelly Farnham, Cezary M...
ITICSE
2003
ACM
15 years 9 months ago
HTTPExplorer: exploring the hypertext transfer protocol
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
Volker Turau