Sciweavers

2778 search results - page 327 / 556
» Object localization with whiskers
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
16 years 1 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
ICMCS
2006
IEEE
152views Multimedia» more  ICMCS 2006»
16 years 21 days ago
Coding Artifact Reduction using Non-Reference Block Grid Visibility Measure
In this work a new method is proposed for coding artifact reduction of MPEG compressed video sequences. The method makes use of a simple cost-effective technique that allows the b...
Ihor O. Kirenko, Remco Muijs, Ling Shao
ECBS
2005
IEEE
79views Hardware» more  ECBS 2005»
16 years 8 days ago
"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities
In this paper, we present a theoretical protocol for autonomic distribution of services in a P2P environment, as well as the results of its simulated implementation. Our objective...
Fabrice Saffre, Håvard Rast Blok
GECCO
2005
Springer
156views Optimization» more  GECCO 2005»
16 years 6 days ago
Introducing a watermarking with a multi-objective genetic algorithm
We propose an evolutionary algorithm for the enhancement of digital semi-fragile watermaking based on the manipulation of the image discrete cosine transform (DCT). The algorithm ...
Diego Sal Díaz, Manuel Grana Romay
DATE
2003
IEEE
109views Hardware» more  DATE 2003»
15 years 12 months ago
Data Space Oriented Scheduling in Embedded Systems
With the widespread use of embedded devices such as PDAs, printers, game machines, cellular telephones, achieving high performance demands an optimized operating system (OS) that ...
Mahmut T. Kandemir, Guangyu Chen, Wei Zhang 0002, ...