740 search results - page 58 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
123
click to vote
CHI
1997
ACM
15 years 5 months ago
1997
ACM
The components of the World Wide Web, which we call the World Wide Web Shell, provide a framework for collaborative application development in much the same way as an expert syste...
103
click to vote
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Randomness is being harnessed in the design of some interactive systems. This is observed in random blogs, random web searching, and in particular Apple's iPod Shuffle. Yet t...
129
click to vote
SPAA
1993
ACM
15 years 5 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
146
click to vote
SP
2008
IEEE
15 years 1 months ago
2008
IEEE
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
138
click to vote
VRML
1998
ACM
15 years 5 months ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...