8582 search results - page 153 / 1717 » Here or There |
166
click to vote
ISMVL
1998
IEEE
15 years 10 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...
169
click to vote
ASIACRYPT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In recent years, three main types of attacks have been developed against Feistel-based ciphers, such as DES[1]; these attacks are linear cryptanalysis[2], differential cr...
196
click to vote
CANPC
1998
Springer
15 years 10 months ago
1998
Springer
In many parallel processing applications, task times have relatively little variability. Accordingly, many nodes will complete a task at approximately the same time. If the applica...
175
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
189
click to vote
COLT
1998
Springer
15 years 10 months ago
1998
Springer
This paper concerns the use of real-valued functions for binary classification problems. Previous work in this area has concentrated on using as an error estimate the `resubstitut...