1033 search results - page 113 / 207 » Properties of Exercise Strategies |
124
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
131
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
168
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
154
click to vote
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
135
click to vote
SCALESPACE
2001
Springer
15 years 8 months ago
2001
Springer
We develop a novel time-selection strategy for iterative image restoration techniques: the stopping time is chosen so that the correlation of signal and noise in the filtered imag...