Sciweavers

4895 search results - page 570 / 979
» Functional Quantum Programming
Sort
View
STOC
2012
ACM
236views Algorithms» more  STOC 2012»
13 years 9 months ago
On-the-fly multiparty computation on the cloud via multikey fully homomorphic encryption
We propose a new notion of secure multiparty computation aided by a computationally-powerful but untrusted “cloud” server. In this notion that we call on-the-fly multiparty c...
Adriana López-Alt, Eran Tromer, Vinod Vaiku...
ICML
2009
IEEE
16 years 7 months ago
Structure learning of Bayesian networks using constraints
This paper addresses exact learning of Bayesian network structure from data and expert's knowledge based on score functions that are decomposable. First, it describes useful ...
Cassio Polpo de Campos, Zhi Zeng, Qiang Ji
156
Voted
IFIP
2009
Springer
16 years 1 months ago
Towards a Type System for Security APIs
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
Gavin Keighren, David Aspinall, Graham Steel
ICALP
2007
Springer
16 years 1 months ago
Labeling Schemes for Vertex Connectivity
This paper studies labeling schemes for the vertex connectivity function on general graphs. We consider the problem of labeling the nodes of any n-node graph is such a way that gi...
Amos Korman
ICTAI
2006
IEEE
16 years 26 days ago
Intelligent Optimization via Learnable Evolution Model
A new method for optimizing complex functions and systems is described that employs Learnable Evolution Model (LEM), a form of non-Darwinian evolutionary computation guided by mac...
Ryszard S. Michalski, Janusz Wojtusiak, Kenneth A....