472 search results - page 33 / 95 » Symbolic range propagation |
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
ECCV
2010
Springer
13 years 12 months ago
2010
Springer
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...
FM
2009
Springer
14 years 4 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— We analyze the user capacity of downlink CDMA systems with quasi-orthogonal sequences(QOSs) considering various system parameters, such as user activity, spreading factor, the ...