634 search results - page 66 / 127 » Completion Procedures as Semidecision Procedures |
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
—The feature selection phase is one of the first, and yet very important, tasks to be completed during the development of any Intrusion Detection System. If this phase is neglec...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
An interactive scene annotation tool for video surveillance is presented in this paper. The annotation process is divided into three stages. 1) Camera rough calibration; 2) Calibr...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
EGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...