148
click to vote
GRAPHITE
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we present a new method for surface-based shape reconstruction from a set of silhouette images. We propose to project the viewing cones from all viewpoints to the 3...
143
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
164
Voted
GRAPHITE
2007
ACM
15 years 8 months ago
2007
ACM
This paper reports the results of an experiment to compare three different selection techniques in a tabletop tangible augmented reality interface. Object selection is an importan...
135
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
137
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...