4609 search results - page 170 / 922 » Automatic Generation of Sigma-Protocols |
197
click to vote
IEEECGIV
2009
IEEE
15 years 4 months ago
2009
IEEE
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
165
click to vote
CCECE
2006
IEEE
16 years 15 days ago
2006
IEEE
Impenetrable doors are often quite common in virtual worlds. This is especially apparent in video games boasting large urban environments. Although there are often enterable build...
174
click to vote
IMR
2004
Springer
15 years 11 months ago
2004
Springer
Mesh generation for finite element analysis is far from a solved problem. Although several automatic meshing algorithms exist, other difficulties of setting up a problem for finit...
146
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
168
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
How can a search engine automatically provide the best and most appropriate title for a result URL (link-title) so that users will be persuaded to click on the URL? We consider th...