Sciweavers

3238 search results - page 21 / 648
» Multi-return function call
Sort
View
DCC
2008
IEEE
14 years 7 months ago
On Boolean functions with the sum of every two of them being bent
A set of Boolean functions is called a bent set if the sum of any two distinct members is a bent function. We show that any bent set yields a homogeneous system of linked symmetric...
Christian Bey, Gohar M. M. Kyureghyan
ICFP
2005
ACM
14 years 7 months ago
Aspectual Caml: an aspect-oriented functional language
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yone...
IFIP
2004
Springer
14 years 1 months ago
A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
An Braeken, Christopher Wolf, Bart Preneel
JAR
2010
160views more  JAR 2010»
13 years 6 months ago
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
Behzad Akbarpour, Lawrence C. Paulson
ICPR
2004
IEEE
14 years 8 months ago
Image Retrieval by Local Evaluation of Nonlinear Kernel Functions around Salient Points
Feature histograms based on the evaluation of Haar integrals with nonlinear kernel functions were used successfully for the purpose of invariant content based image retrieval. In ...
Alaa Halawani, Hans Burkhardt