740 search results - page 40 / 148 » Recursive layout generation |
159
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
212
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
121
click to vote
HCI
2009
15 years 3 months ago
2009
Buying a home is a big investment and is one of the most important decisions made in one's life. Home owners after purchasing the apartments are interested in having their own...
190
click to vote
IANDC
2007
15 years 5 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
157
click to vote
CRYPTO
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The shrinking generator is a well-known keystream generator composed of two linear feedback shift registers, LFSR1 and LFSR2, where LFSR1 is clock-controlled according to...