740 search results - page 81 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
135
click to vote
PRESENCE
2002
15 years 1 months ago
2002
In this paper we describe two explorations in the use of hybrid user interfaces for collaborative geographic data visualization. Our first interface combines three technologies; A...
109
click to vote
ML
1998
ACM
15 years 1 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
114
click to vote
VC
2011
14 years 8 months ago
2011
Despite the ability of current GPU processors to treat heavy parallel computation tasks, its use for solving medical image segmentation problems is still not fully exploited and re...
EEE
2004
IEEE
15 years 5 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....
205
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
We introduce TwinSpace, a flexible software infrastructure for combining interactive workspaces and collaborative virtual worlds. Its design is grounded in the need to support dee...