642 search results - page 81 / 129 » corr 2006 |
84
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
83
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...
105
click to vote
CORR
2006
Springer
15 years 18 days ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
106
click to vote
CORR
2007
Springer
15 years 17 days ago
2007
Springer
We bound the future loss when predicting any (computably) stochastic sequence online. Solomonoff finitely bounded the total deviation of his universal predictor M from the true d...