142 search results - page 2 / 29 » Precondition Control and the Progression Algorithm |
ACSC
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
ICPR
2000
IEEE
14 years 6 months ago
2000
IEEE
In this paper we look at the benefits to be gained in using gradient information to enhance the Progressive Probabilistic Hough Transform(PPHT). It is shown how using the angle in...
PODS
2002
ACM
14 years 5 months ago
2002
ACM
Decision support system users typically submit batches of range-sum queries simultaneously rather than issuing individual, unrelated queries. We propose a wavelet based technique ...
ICIP
2001
IEEE
14 years 7 months ago
2001
IEEE
A multiple description scalar quantization (MDSQ) based coding system can be regarded as a source coder (quantizer) followed by a channel coder, i.e. the combination of index and ...
ISCAS
2005
IEEE
13 years 11 months ago
2005
IEEE
– Audio scrambling can be employed in audio distribution for the purpose of guaranteeing the confidentiality. Electronic commerce in audio products would be facilitated by the de...