4850 search results - page 191 / 970 » Proof and Computation in Geometry |
149
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
179
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
197
click to vote
JOC
2007
15 years 6 months ago
2007
Signcryption is a public key or asymmetric cryptographic method that provides simultaneously both message confidentiality and unforgeability at a lower computational and communica...
210
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
156
click to vote
PR
2008
2008
Computation of a face attractiveness index based on neoclassical canons, symmetry, and golden ratios
15 years 6 months ago
Analysis of attractiveness of faces has long been a topic of research. Literature has identified many different factors that can be related to attractiveness. In this research we ...