Sciweavers

1646 search results - page 258 / 330
» Automatic generation of two-party computations
Sort
View
CG
2006
Springer
13 years 10 months ago
Shape reasoning and understanding
s: clustering, denoising, sharp feature, shape abstraction, reverse engineering In this paper we describe a hierarchical face clustering algorithm for triangle meshes based on fit...
Bianca Falcidieno, Remco C. Veltkamp
CGF
2006
122views more  CGF 2006»
13 years 10 months ago
Stroke Pattern Analysis and Synthesis
We present a synthesis technique that can automatically generate stroke patterns based on a user-specified reference pattern. Our method is an extension of texture synthesis techn...
Pascal Barla, Simon Breslav, Joëlle Thollot, ...
IJAC
2008
84views more  IJAC 2008»
13 years 10 months ago
Groups whose Geodesics are Locally Testable
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...
Susan M. Hermiller, Derek F. Holt, Sarah Rees
JVCA
2006
206views more  JVCA 2006»
13 years 10 months ago
Realistic human hand deformation
d Abstract) Jieun Lee, Seung-Hyun Yoon, and Myunng-Soo Kim Seoul National University, KOREA We present a new approach to realistic hand modeling and deformation with real-time per...
Jieun Lee, Seung-Hyun Yoon, Myung-Soo Kim
SAC
2006
ACM
13 years 10 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...