4609 search results - page 514 / 922 » Automatic Generation of Sigma-Protocols |
180
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes some of the principles of traditional floral ornamental design, and explores ways in which these designs can be created algorithmically. It introduces the id...
177
click to vote
ICFP
1997
ACM
15 years 11 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
172
Voted
CODES
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...
175
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper analyses the reliability of confidence intervals for Koza's computational effort statistic. First, we conclude that dependence between the observed minimum generat...
176
click to vote
SCA
2007
15 years 9 months ago
2007
Current approaches to skeleton generation are based on topological and geometrical information only; this can be insufficient for realistic character animation, since the location...