263 search results - page 14 / 53 » Discrete Symbol Calculus |
AAECC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Starting with Karr's structural theorem for summation --the discrete version of Liouville's structural theorem for integration-- we work out crucial properties ...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
MOC
2000
13 years 7 months ago
2000
Abstract. We propose a discretization scheme for a numerical solution of elliptic PDE's, based on local representation of functions, by their Taylor polynomials (jets). This s...
NIPS
2004
13 years 9 months ago
2004
Amino acid profiles, which capture position-specific mutation probabilities, are a richer encoding of biological sequences than the individual sequences themselves. However, profi...
ICDM
2009
IEEE
14 years 2 months ago
2009
IEEE
—Segmentation, the task of splitting a long sequence of discrete symbols into chunks, can provide important information about the nature of the sequence that is understandable to...