5344 search results - page 77 / 1069 » Privacy-Preserving Set Operations |
APCSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
We examine secure computing paradigms to identify any new architectural challenges for future general-purpose processors. Some essential security functions can be provided by diffe...
JANCL
2007
13 years 10 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
CEC
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
The performance of a Multiobjective Evolutionary Algorithm (MOEA) is crucially dependent on the parameter setting of the operators. The most desired control of such parameters pre...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...