740 search results - page 82 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
107
click to vote
LAWEB
2003
IEEE
15 years 6 months ago
2003
IEEE
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
CHI
1999
ACM
15 years 5 months ago
1999
ACM
The Palette is a digital appliance designed for intuitive control of electronic slide shows. Current interfaces demand too much of our attention to permit effective computer use i...
106
click to vote
CHI
1994
ACM
15 years 5 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
138
click to vote
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
HCI
2007
15 years 2 months ago
2007
We developed a locative fiction application called nan0sphere and deployed it on the UCLA campus. This application presents an interactive narrative to users working in a group as ...