749 search results - page 55 / 150 » Combinatory Models and Symbolic Computation |
146
Voted
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—We propose a much-needed formal definition of security for cryptographic key management APIs. The advantages of our definition are that it is general, intuitive, and applicabl...
142
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Pattern discovery in sequences is an important problem in many applications, especially in computational biology and text mining. However, due to the noisy nature of data, the tra...
161
Voted
TRS
2008
15 years 3 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
144
Voted
COCOA
2010
Springer
14 years 10 months ago
2010
Springer
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model...
140
Voted
ENTCS
2010
15 years 1 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...