Sciweavers

1414 search results - page 180 / 283
» Automated Metamorphic Testing
Sort
View
DT
2000
162views more  DT 2000»
13 years 7 months ago
RT-Level ITC'99 Benchmarks and First ATPG Results
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
ICIP
2004
IEEE
14 years 9 months ago
Action segmentation and recognition in meeting room scenarios
In this proposal a novel implementation to find and recognize person actions in image sequences of meeting scenarios is introduced. Such extracted information can be used as the b...
Frank Wallhoff, Martin Zobl, Gerhard Rigoll
ICIP
2003
IEEE
14 years 9 months ago
A Bayesian framework for recursive object removal in movie post-production
Some of the most convincing film and video effects are created in digital post-production by removing apparatus that supports or manipulates actors and objects. Wires and people, ...
Anil C. Kokaram, Bill Collis, Simon Robinson
ICPR
2004
IEEE
14 years 9 months ago
A System to Detect Houses and Residential Street Networks in Multispectral Satellite Images
ACT Maps are vital tools for most government agencies and consumers. However, their manual generation and updating is tedious and time consuming. As a step toward automatic map gen...
Cem Ünsalan, Kim L. Boyer
DAC
2009
ACM
14 years 9 months ago
A real-time program trace compressor utilizing double move-to-front method
This paper introduces a new unobtrusive and cost-effective method for the capture and compression of program execution traces in real-time, which is based on a double move-to-fron...
Vladimir Uzelac, Aleksandar Milenkovic