4609 search results - page 810 / 922 » Automatic Generation of Sigma-Protocols |
198
click to vote
CL
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
114
click to vote
CGF
2008
15 years 6 months ago
2008
We present an efficient method to conformally parameterize 3D mesh data sets to the plane. The idea behind our method is to concentrate all the 3D curvature at a small number of s...
142
click to vote
CGF
2008
15 years 6 months ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
181
click to vote
CGF
2008
15 years 6 months ago
2008
Given a 3D solid model S represented by a tetrahedral mesh, we describe a novel algorithm to compute a hierarchy of convex polyhedra that tightly enclose S. The hierarchy can be b...
151
click to vote
CGF
2008
15 years 6 months ago
2008
Fiber tracking is a standard tool to estimate the course of major white matter tracts from diffusion tensor magnetic resonance imaging (DT-MRI) data. In this work, we aim at suppo...