Sciweavers

1299 search results - page 188 / 260
» Computing Minimal Diagnoses with Critical Set Algorithms
Sort
View
130
Voted
MOBIHOC
2008
ACM
16 years 3 months ago
Delay-bounded routing in vehicular ad-hoc networks
Ad hoc networks formed by traveling vehicles are envisaged to become a common platform that will support a wide variety of applications, ranging from road safety to advertising an...
Antonios Skordylis, Niki Trigoni
147
Voted
DCC
2008
IEEE
16 years 3 months ago
Object-Based Regions of Interest for Image Compression
A fully automated architecture for object-based region of interest (ROI) detection is proposed. ROI's are defined as regions containing user defined objects of interest, and ...
Sunhyoung Han, Nuno Vasconcelos
148
Voted
DCOSS
2007
Springer
15 years 8 months ago
Energy Efficient Intrusion Detection in Camera Sensor Networks
The problem we address in this paper is how to detect an intruder moving through a polygonal space that is equipped with a camera sensor network. We propose a probabilistic sensor ...
Primoz Skraba, Leonidas J. Guibas
147
Voted
APCSAC
2004
IEEE
15 years 7 months ago
Validating Word-Oriented Processors for Bit and Multi-word Operations
We examine secure computing paradigms to identify any new architectural challenges for future general-purpose processors. Some essential security functions can be provided by diffe...
Ruby B. Lee, Xiao Yang, Zhijie Shi
BIRTHDAY
2005
Springer
15 years 6 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...