Sciweavers

761 search results - page 121 / 153
» Efficient Approximation Algorithms for the Subset-Sums Equal...
Sort
View
PKC
2009
Springer
126views Cryptology» more  PKC 2009»
16 years 3 months ago
Verifiable Rotation of Homomorphic Encryptions
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
Sebastiaan de Hoogh, Berry Schoenmakers, Boris Sko...
FOIKS
2006
Springer
15 years 7 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
ECCV
1996
Springer
16 years 5 months ago
Euclidean Reconstruction: From Paraperspective to Perspective
In this paper we describe a method to perform Euclidean reconstruction with a perspective camera model. It incrementally performs reconstruction with a paraperspective camera in or...
Stéphane Christy, Radu Horaud
GECCO
2003
Springer
15 years 8 months ago
Effective Use of Directional Information in Multi-objective Evolutionary Computation
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...
Martin Brown, Robert E. Smith
138
Voted
SMI
1999
IEEE
108views Image Analysis» more  SMI 1999»
15 years 7 months ago
Modeling of Surfaces with Fair Reflection Line Pattern
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
Joachim Loos, Günther Greiner, Hans-Peter Sei...