Sciweavers

265 search results - page 32 / 53
» A Temporal Logic Based Framework for Intrusion Detection
Sort
View
CSAC
2006
13 years 9 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
ICC
2007
IEEE
179views Communications» more  ICC 2007»
14 years 1 months ago
On Collaboration in a Distributed Multi-Target Tracking Framework
Abstract— A fully-distributed collaborative multi-target tracking framework that eliminates the need for a central data associator or a central coordinating node for wireless sen...
Tolga Onel, Cem Ersoy, Hakan Deliç
ICASSP
2010
IEEE
13 years 7 months ago
Camera-based clear path detection
In using image analysis to assist a driver to avoid obstacles on the road, traditional approaches rely on various detectors designed to detect different types of objects. We propo...
Qi Wu, Wende Zhang, Tsuhan Chen, B. V. K. Vijaya K...
AMAST
2000
Springer
13 years 12 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
ICDAR
2005
IEEE
14 years 1 months ago
Caption Localisation in Video Sequences by Fusion of Multiple Detectors
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
Sébastien Lefèvre, Nicole Vincent