Sciweavers

6059 search results - page 322 / 1212
» A Technique for Verifying Measurements
Sort
View
172
Voted
ICASSP
2010
IEEE
15 years 7 months ago
Anti-forensics of JPEG compression
The widespread availability of photo editing software has made it easy to create visually convincing digital image forgeries. To address this problem, there has been much recent w...
Matthew C. Stamm, Steven K. Tjoa, W. Sabrina Lin, ...
AAECC
2005
Springer
128views Algorithms» more  AAECC 2005»
15 years 6 months ago
The size-change principle and dependency pairs for termination of term rewriting
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
René Thiemann, Jürgen Giesl
TPDS
2008
92views more  TPDS 2008»
15 years 6 months ago
Topology Design of Network-Coding-Based Multicast Networks
It is anticipated that a large amount of multicast traffic needs to be supported in future communication networks. The network coding technique proposed recently is promising for e...
Kaikai Chi, Xiaohong Jiang, Susumu Horiguchi, Miny...
IEE
2008
117views more  IEE 2008»
15 years 6 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
ICASSP
2010
IEEE
15 years 5 months ago
An alternative scanning strategy to detect faces
The sliding window approach is the most widely used technique to detect faces in an image. Usually a classifier is applied on a regular grid and to speed up the scanning, the gri...
Venkatesh Bala Subburaman, Sébastien Marcel