6881 search results - page 88 / 1377 » Motivation |
110
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
We survey some of the methods used for manipulating, representing, and optimizing multi-valued logic with the view of both building a better understanding of the more specialized ...
146
click to vote
GD
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper, we present an object-oriented design and implementation of the core steps of the giotto algorithm for orthogonal graph drawing. Our design is motivated by ...
135
click to vote
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Motivated by applications of foveated images in visualization, we introduce the foveation transform of an image. We study the basic properties of these transforms using the multir...
118
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata...
126
click to vote
IMA
1997
Springer
15 years 8 months ago
1997
Springer
This paper reviews constructions of hash functions and MAC algorithms based on block ciphers. It discusses the main requirements for these cryptographic primitives, motivates these...