331 search results - page 38 / 67 » HOLCF: Higher Order Logic of Computable Functions |
110
click to vote
FOSSACS
2003
Springer
15 years 5 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
95
Voted
FGCS
2002
15 years 7 days ago
2002
In this paper we present the new project called GridLab which is funded by the European Commission under the Fifth Framework Programme. The GridLab project, made up of computer sc...
127
Voted
NN
2008
Springer
14 years 11 months ago
2008
Springer
We propose a novel similarity measure, called the correntropy coefficient, sensitive to higher order moments of the signal statistics based on a similarity function called the cro...
109
click to vote
PKC
1998
Springer
15 years 4 months ago
1998
Springer
Signcryption, first proposed by Zheng [4,5], is a cryptographic primitive which combines both the functions of digital signature and public key encryption in a logical single step,...
111
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...