6045 search results - page 28 / 1209 » Computable Linearizations of Well-partial-orderings |
DM
2010
13 years 5 months ago
2010
PCS
2011
12 years 10 months ago
2011
CISC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper reports on the improved and multiple linear cryptanalysis of reduced round Serpent by mean of a branch-and-bound characteristic search within the algorithm. We...
ICTAC
2007
Springer
14 years 1 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
PAMI
2011
13 years 2 months ago
2011
—Emerging applications of computer vision and pattern recognition in mobile devices and networked computing require the development of resourcelimited algorithms. Linear classifi...