4702 search results - page 78 / 941 » How to Copyright a Function |
85
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
117
Voted
FPCA
1995
15 years 4 months ago
1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming j...
73
Voted
LREC
2010
15 years 2 months ago
2010
In the "Sandglass" MT architecture, we identify the class of monosemous Japanese functional expressions and utilize it in the task of translating Japanese functional exp...
91
Voted
EUROCAST
2007
Springer
15 years 6 months ago
2007
Springer
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
119
click to vote
AISC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...