8431 search results - page 258 / 1687 » Algorithmically Independent Sequences |
179
click to vote
TIT
2002
15 years 6 months ago
2002
Prediction of individual sequences is investigated for cases in which the decision maker observes a delayed version of the sequence, or is forced to issue his/her predictions a nu...
169
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
184
click to vote
DAGM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Approaches to visual navigation, e.g. used in robotics, require computationally efficient, numerically stable, and robust methods for the estimation of ego-motion. One of...
198
click to vote
FUIN
2006
15 years 6 months ago
2006
We consider approximate pattern matching in natural language text. We use the words of the text as the alphabet, instead of the characters as in traditional string matching approac...
201
click to vote
IMA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Software based side-channel attacks allow an unprivileged spy process to extract secret information from a victim (cryptosystem) process by exploiting some indirect leaka...