8874 search results - page 185 / 1775 » A New Implementation of Automath |
112
click to vote
SIGCOMM
1999
ACM
15 years 8 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
ISMVL
1993
IEEE
15 years 8 months ago
1993
IEEE
Use of current-mode CMOS circuitsfor implementation of multiple-valued logic (MVL)functions has been considered in a number of recent papers. In this paper, we present an applicat...
104
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--A new generic scheme for incremental implementations of distance transforms (DT) is presented: Incremental Distance Transforms (IDT). This scheme is applied on the citybl...
105
click to vote
ACL
1997
15 years 5 months ago
1997
This paper presents a partial solution to a component of the problem of lexical choice: choosing the synonym most typical, or expected, in context. We apply a new statistical appr...
146
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
We proposed a new block cipher, Serpent, as a candidate for the Advanced Encryption Standard. This algorithm uses a new structure that simultaneously allows a more rapid avalanche,...