Sciweavers

6514 search results - page 917 / 1303
» Low-Knowledge Algorithm Control
Sort
View
TPHOL
2008
IEEE
15 years 10 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
VTC
2008
IEEE
113views Communications» more  VTC 2008»
15 years 10 months ago
V2V Communications in Automotive Multi-Sensor Multi-Target Tracking
—Today’s automotive sensor systems for in-vehicle based target tracking, i.e. radar, lidar, camera, are limited to a field of view which is restricted by distance, angle and l...
Matthias Röckl, Thomas Strang, Matthias Kranz
VTC
2008
IEEE
124views Communications» more  VTC 2008»
15 years 10 months ago
Efficient Reliable Data Collection in Wireless Sensor Networks
— We propose an Efficient Reliable Data Collection (eRDC) algorithm. The eRDC is designed for energy-constraint wireless sensor networks (WSN) to balance reliability and energy c...
Ren Ping Liu, John Zic, Iain B. Collings, Alex Y. ...
ACIVS
2008
Springer
15 years 10 months ago
Face Recognition Using Parabola Edge Map
Several applications such as access control, behaviour observation and videoconferencing require a real-time method for face recognition. We propose to represent faces with parabol...
Francis Deboeverie, Peter Veelaert, Kristof Teelen...
CEC
2007
IEEE
15 years 10 months ago
A histogram-matching approach to the evolution of bin-packing strategies
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
Riccardo Poli, John Woodward, Edmund K. Burke