740 search results - page 122 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
110
click to vote
CHI
2002
ACM
16 years 1 months ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
104
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Social networking sites (SNS) are only as good as the content their users share. Therefore, designers of SNS seek to improve the overall user experience by encouraging members to ...
133
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
111
click to vote
SMALLTALK
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
116
click to vote
CSCW
2006
ACM
15 years 7 months ago
2006
ACM
Despite the availability of awareness servers and casual interaction systems, distributed groups still cannot maintain artifact awareness – the easy awareness of the documents, ...