4666 search results - page 163 / 934 » Equations on Timed Languages |
164
click to vote
INDOCRYPT
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper presents the first results on AIDA/cube, algebraic and sidechannel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Ou...
134
click to vote
VL
1994
IEEE
15 years 9 months ago
1994
IEEE
Though visual access to spatial database systems has attracted much attention in recent years, there have only few deductive visual languages for spatial information systems been ...
145
click to vote
JISE
2006
15 years 5 months ago
2006
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
260
click to vote
PDPTA
2010
15 years 3 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
427
click to vote
Tutorial
This technical report discusses Sethian's Fast Marching Method and its higher accuracy variant. Both methods may be used to compute the arrival times at the points of a discre...