4100 search results - page 643 / 820 » General Linear Cameras |
187
click to vote
TLDI
2003
ACM
16 years 9 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
178
click to vote
BIRTHDAY
2003
Springer
16 years 9 days ago
2003
Springer
Digital halftoning, or dithering, is the technique commonly used to render a color or grayscale image on a printer, a computer monitor or other bi-level displays. A particular hal...
216
click to vote
CTRSA
2003
Springer
16 years 9 days ago
2003
Springer
In this paper, we present a general framework for evaluating the performance characteristics of block cipher structures composed of S-boxes and Maximum Distance Separable (MDS) ma...
200
click to vote
FSTTCS
2003
Springer
16 years 9 days ago
2003
Springer
Computational genomics involves comparing sequences based on “similarity” for detecting evolutionary and functional relationships. Until very recently, available portions of th...
193
click to vote
GECCO
2003
Springer
16 years 8 days ago
2003
Springer
Continuous Time Recurrent Neural Networks (CTRNNs) have previously been proposed as an enabling paradigm for evolving analog electrical circuits to serve as controllers for physica...