740 search results - page 97 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2008
ACM
16 years 1 months ago
2008
ACM
Existing e-book readers do not do a good job supporting many reading tasks that people perform, as ethnographers report that when reading, people frequently read from multiple dis...
131
click to vote
ECOOP
1994
Springer
15 years 5 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
CHI
2004
ACM
16 years 1 months ago
2004
ACM
We present a new user interface for the common morphing tool found in animation packages. Previously this interface has been based on the features of the underlying algorithm, wit...
139
click to vote
ICIAP
2003
ACM
16 years 1 months ago
2003
ACM
In this paper we present some analysis techniques and indexing strategies aimed to support classification and retrieval of textures using only perceptual features. The goal of thi...
106
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...