1628 search results - page 247 / 326 » Compiler Construction Using Scheme |
118
Voted
IJACT
2008
15 years 2 months ago
2008
: In the absence of sufficiently optimised public key constructions, anonymous authentication for Radio-Frequency Identification Devices (RFIDs) requires state synchronisation betw...
108
click to vote
JANCL
2006
15 years 2 months ago
2006
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
TIT
2008
15 years 2 months ago
2008
Abstract-- We study coding schemes which encode unconstrained sequences into run-length-limited (d, k)-constrained sequences. We present a general framework for the construction of...
150
Voted
PAMI
2007
15 years 1 months ago
2007
—We introduce the notion of the medial scaffold, a hierarchical organization of the medial axis of a 3D shape in the form of a graph constructed from special medial curves connec...
118
Voted
SETA
2010
Springer
15 years 17 days ago
2010
Springer
Protocol sequences are binary and periodic sequences used in multiple-access scheme for collision channel without feedback. Each user reads out the bits from the assigned protocol ...