740 search results - page 121 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
126
click to vote
VRML
1999
ACM
15 years 5 months ago
1999
ACM
This paper presents our work and research findings on developing the concept of a multi-user shared environment for culture, performance, art and entertainment. It introduces arti...
130
click to vote
SAICSIT
2010
ACM
14 years 11 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
115
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
102
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
111
click to vote
ACMDIS
2006
ACM
15 years 7 months ago
2006
ACM
One challenge for ubiquitous computing is providing appropriate tools for professional designers, thus leading to stronger user-valued applications. Unlike many previous tool-buil...