7075 search results - page 1097 / 1415 » Models and heterogeneous reasoning |
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...
147
click to vote
WOSP
2004
ACM
16 years 8 days ago
2004
ACM
While the use of network intrusion detection systems (nIDS) is becoming pervasive, evaluating nIDS performance has been found to be challenging. The goal of this study is to deter...
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...