Sciweavers

1860 search results - page 102 / 372
» A Temporal Logic of Robustness
Sort
View
ASWEC
2006
IEEE
15 years 6 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...
97
Voted
DAGM
2006
Springer
15 years 4 months ago
Integrating Recognition and Reconstruction for Cognitive Traffic Scene Analysis from a Moving Vehicle
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
Bastian Leibe, Nico Cornelis, Kurt Cornelis, Luc J...
96
Voted
SGAI
2007
Springer
15 years 6 months ago
Learning Sets of Sub-Models for Spatio-Temporal Prediction
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
Andrew Bennett, Derek R. Magee
IMCSIT
2010
14 years 10 months ago
On the evaluation of the linguistic summarization of temporally focused time series using a measure of informativeness
We extend our previous works of deriving linguistic summaries of time series using a fuzzy logic approach to linguistic summarization. We proceed towards a multicriteria analysis o...
Anna Wilbik, Janusz Kacprzyk
102
Voted
CAIP
2005
Springer
15 years 2 months ago
Improvement of a Temporal Video Index Produced by an Object Detector
The goal of the works described in this paper is to improve results produced by an object detector operating independently on each frame of a video document in order to generate a ...
Gaël Jaffré, Philippe Joly