7280 search results - page 1358 / 1456 » Optimization Techniques |
180
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
—Cloud computing is enabling groups of academic collaborators, groups of business partners, etc., to come together in an ad-hoc manner. This paper focuses on the group-based data...
158
click to vote
SIGSOFT
1995
ACM
15 years 9 months ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...
167
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
165
click to vote
CVPR
2010
IEEE
16 years 21 days ago
2010
IEEE
An image search for “clownfish” yields many photos of clownfish, each of a different individual of a different 3D shape in a different pose. Yet, to the human observer, this...
156
click to vote
LICS
2008
IEEE
15 years 12 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...