6279 search results - page 1070 / 1256 » Objects as session-typed processes |
150
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
161
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We propose a technique that takes a triangulated surface as input and outputs a surface with the same topology but altered geometry such that each polygon falls into a set of disc...
189
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
159
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
Paper architectures are 3D paper buildings created by folding and cutting. The creation process of paper architecture is often laborintensive and highly skill-demanding, even with...
178
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
High-order and regularly sampled surface representations are more efficient and compact than general meshes and considerably simplify many geometric modeling and processing algor...