3552 search results - page 212 / 711 » Proof theory in the abstract |
173
click to vote
AAECC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. After some excitement generated by recently suggested public key exchange protocols due to Anshel-Anshel-Goldfeld and Ko-Lee et al., it is a prevalent opinion now that th...
191
click to vote
TMA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Network traffic classification and anomaly detection have received much attention in the last few years. However, due to the the lack of common ground truth, proposed met...
216
click to vote
VISAPP
2010
15 years 4 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
194
click to vote
IANDC
2007
15 years 6 months ago
2007
A fundamental result of Büchi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...
281
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We study an energy functional for computing optical flow that combines three assumptions: a brightness constancy assumption, a gradient constancy assumption, and a discon...