7296 search results - page 1373 / 1460 » informs 2010 |
125
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
111
click to vote
TRUST
2010
Springer
15 years 7 months ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...
134
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, a new scheme to address the face recognition problem is proposed. Different from traditional face recognition approaches which represent each facial image by a sing...
126
click to vote
STOC
2010
ACM
15 years 6 months ago
2010
ACM
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
135
click to vote
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...