5634 search results - page 361 / 1127 » About Abstract Classes |
161
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: The adjacency matrix associated with a convolutional code collects in a detailed manner information about the weight distribution of the code. A MacWilliams Identity Conjecture, ...
341
click to vote
IJNSEC
2008
15 years 6 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
166
click to vote
COMGEO
2007
ACM
15 years 6 months ago
2007
ACM
A new algorithm is presented for surface reconstruction from unorganized points. Unlike many previous algorithms, this algorithm does not select a subcomplex of the Delaunay Trian...
143
click to vote
JAR
2006
15 years 6 months ago
2006
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
174
click to vote
JSYML
2008
15 years 6 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...