Sciweavers

202 search results - page 3 / 41
» Functional Test Generation Using Efficient Property Clusteri...
Sort
View
ICCAD
2002
IEEE
116views Hardware» more  ICCAD 2002»
15 years 6 months ago
Conflict driven techniques for improving deterministic test pattern generation
This work presents several new techniques for enhancing the performance of deterministic test pattern generation for VLSI circuits. The techniques introduced are called dynamic de...
Chen Wang, Sudhakar M. Reddy, Irith Pomeranz, Xiji...
DELTA
2002
IEEE
15 years 2 months ago
Test Chirp Signal Generation Using Spectral Warping
A DSP technique that transforms a digital signal by warping the frequency axis is discussed. The technique corresponds to a mapping of the samples in the z-domain such that they a...
Warwick Allen, Donald G. Bailey, Serge N. Demidenk...
100
Voted
ECCV
2010
Springer
14 years 11 months ago
Descriptor Learning for Efficient Retrieval
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
PAA
2006
14 years 9 months ago
Efficient median based clustering and classification techniques for protein sequences
Abstract In this paper, an efficient K-medians clustering (unsupervised) algorithm for prototype selection and Supervised K-medians (SKM) classification technique for protein seque...
P. A. Vijaya, M. Narasimha Murty, D. K. Subramania...
ICST
2009
IEEE
15 years 4 months ago
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
Christian Murphy, Kuang Shen, Gail E. Kaiser