740 search results - page 77 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
106
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Duplicate detection determines different representations of realworld objects in a database. Recent research has considered the use of relationships among object representations t...
134
click to vote
DAS
2008
Springer
15 years 3 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
107
click to vote
CHI
2009
ACM
15 years 6 months ago
2009
ACM
This paper aims to contribute with an understanding of meaningful experiences of photography, to support reflection upon the design of future camera devices. We have conducted a s...
145
click to vote
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
CHI
1995
ACM
15 years 5 months ago
1995
ACM
We present a new focus+context (fisheye) technique for visualizing and manipulating large hierarchies. Our technique assigns more display space to a portion of the hierarchy whil...