8337 search results - page 1222 / 1668 » Reasoning With Characteristic Models |
171
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
201
click to vote
ICIAR
2005
Springer
16 years 10 days ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
178
click to vote
TARK
2005
Springer
16 years 9 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
163
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
154
click to vote
CSL
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...