4609 search results - page 690 / 922 » Automatic Generation of Sigma-Protocols |
232
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
193
click to vote
APGV
2004
ACM
16 years 6 hour ago
2004
ACM
We describe a new computational approach to stylize the colors of an image by using a reference image. During processing, we take characteristics of human color perception into ac...
189
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
We have already proposed using evolutionary computation to adjust the voice quality conversion parameters, and we have reported that this approach produces results that are not onl...
189
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
169
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...