472 search results - page 33 / 95 » Symbolic range propagation |
145
click to vote
KBSE
2010
IEEE
15 years 2 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...
161
click to vote
ECCV
2010
Springer
15 years 6 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...
119
click to vote
FM
2009
Springer
15 years 11 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...
132
click to vote
COMPSAC
2008
IEEE
15 years 11 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...
123
click to vote
GLOBECOM
2006
IEEE
15 years 10 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 ...