8766 search results - page 780 / 1754 » Functional logic programming |
183
click to vote
ISMVL
1998
IEEE
15 years 11 months ago
1998
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider issues regarding the efficient implementation of a...
184
click to vote
AUSAI
1998
Springer
15 years 11 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
167
click to vote
ERSA
2006
15 years 8 months ago
2006
In a coarse-grained reconfigurable architecture, the functions of resources such as Arithmetic Logic Units (ALUs) can be reconfigured. Unlike the programmability of a general purp...
185
click to vote
IJCAI
1989
15 years 8 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
204
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The signcryption is a relatively new cryptographic technique that is supposed to fulfill the functionalities of encryption and digital signature in a single logical step. Several ...