2662 search results - page 209 / 533 » Tools Demonstrations |
154
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Correlation is often used to measure the similarity between signals and is an important tool in signal and image processing. In some applications it is common that signals are cor...
131
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Lattice reduction by means of the LLL algorithm has been previously suggested as a powerful preprocessing tool that allows to improve the performance of suboptimal detectors and t...
133
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
159
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
144
click to vote
ACSC
2007
IEEE
15 years 11 months ago
2007
IEEE
The design guideline avoid dependency cycles among modules was ļ¬rst alluded to by Parnas in 1978. Many tools have since been built to detect cyclic dependencies among a programā...