Sciweavers

951 search results - page 88 / 191
» Differential testing: a new approach to change detection
Sort
View
ICIP
2008
IEEE
16 years 3 months ago
Using local regression kernels for statistical object detection
We present a novel approach to the problem of detection of visual similarity between a template image, and patches in a given image. The method is based on the computation of a lo...
Hae Jong Seo, Peyman Milanfar
PLDI
2009
ACM
15 years 8 months ago
A randomized dynamic program analysis technique for detecting real deadlocks
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur ...
DKE
2010
112views more  DKE 2010»
15 years 1 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
ASPDAC
2004
ACM
102views Hardware» more  ASPDAC 2004»
15 years 7 months ago
TranGen: a SAT-based ATPG for path-oriented transition faults
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
Kai Yang, Kwang-Ting Cheng, Li-C. Wang
ICMCS
2006
IEEE
148views Multimedia» more  ICMCS 2006»
15 years 7 months ago
A Handover Approach to DVB-H Services
DVB-H offers a new platform for IP-based services and contributes to universal access. There are many challenges of providing multimedia TV experience for DVB-H users anywhere any...
Ville Ollikainen, Chengyuan Peng