9730 search results - page 1690 / 1946 » Relating models of backtracking |
139
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
132
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
262
Voted
CIMAGING
2009
15 years 6 months ago
2009
Space-varying convolution often arises in the modeling or restoration of images captured by optical imaging systems. For example, in applications such as microscopy or photography...
136
click to vote
CLEF
2009
Springer
15 years 6 months ago
2009
Springer
In biological sequence processing, Multiple Sequence Alignment (MSA) techniques capture information about long-distance dependencies and the three-dimensional structure of protein ...
133
Voted
COMAD
2009
15 years 6 months ago
2009
Terms in textual documents tend to occur more in contexts to which they are related. We can exploit this bias by modelling terms and their cooccurrences s, resembling the abstract...