740 search results - page 12 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
LPAR
2012
Springer
12 years 2 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
We present an empirical study of teams that revealed the amount of extraneous individual work needed to enable collaboration: finding references to other people, finding files to ...
VIS
2007
IEEE
14 years 8 months ago
2007
IEEE
We present a powerful framework for 3D-texture-based rendering of multiple arbitrarily intersecting volumetric datasets. Each volume is represented by a multi-resolution octree-bas...
GPCE
2005
Springer
14 years 26 days ago
2005
Springer
We describe the application of generative programming to a problem in interactive information retrieval. The particular interactive information retrieval problem we study is the su...
HRI
2007
ACM
13 years 11 months ago
2007
ACM
We present RoCo, the first robotic computer designed with the ability to move its monitor in subtly expressive ways that respond to and encourage its user's own postural move...