1646 search results - page 204 / 330 » Automatic generation of two-party computations |
114
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
115
Voted
BTW
2009
Springer
15 years 8 months ago
2009
Springer
: The interdisciplinary ViFaChem II project aims at providing a chemical digital library infrastructure for creating personalized information spaces. The value added services and s...
CBMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Multi-observer segmentation evaluation is useful in the imaging community. We have developed a web-based software application for automatic performance evaluation of multiple imag...
110
click to vote
COLCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—Dynamic scripting languages such as Ruby provide language features that enable developers to express their intent more rapidly and with fewer expressions. Organizations started ...
102
click to vote
MMM
2007
Springer
15 years 7 months ago
2007
Springer
Recently, various non-photorealistic rendering (NPR) techniques have been developed for computers to generate images of different artistic styles automatically. Due to the complexi...