Sciweavers

2874 search results - page 472 / 575
» Intrusion Detection: Systems and Models
Sort
View
ECCV
2004
Springer
16 years 8 months ago
Recognition by Probabilistic Hypothesis Construction
We present a probabilistic framework for recognizing objects in images of cluttered scenes. Hundreds of objects may be considered and searched in parallel. Each object is learned f...
Pierre Moreels, Michael Maire, Pietro Perona
GIS
2006
ACM
16 years 7 months ago
Representation of periodic moving objects in databases
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
Ralf Hartmut Güting, Thomas Behr, Victor Teix...
CADE
2005
Springer
16 years 6 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill
SAC
2006
ACM
16 years 10 days ago
STRUDEL: supporting trust in the dynamic establishment of peering coalitions
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
Daniele Quercia, Manish Lad, Stephen Hailes, Licia...
IRCDL
2008
15 years 7 months ago
Using MPEG-7 for Automatic Annotation of Audiovisual Content in eLearning Digital Libraries
In this paper we present a prototype system to enrich audiovisual contents with annotations, which exploits existing technologies for automatic extraction of metadata (such as OCR...
Giuseppe Amato, Paolo Bolettieri, Franca Debole, F...