4581 search results - page 229 / 917 » Computing Transformation Semigroups |
197
click to vote
DSS
2002
15 years 6 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
161
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a study of radiometric calibration and the incamera imaging process through an extensive analysis of more than 10,000 images from over 30 cameras. The goal is to invest...
157
click to vote
IACR
2011
14 years 6 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
166
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
170
click to vote
ISW
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...