7393 search results - page 401 / 1479 » Synthesis-for-testability using transformations |
184
Voted
ACMMSP
2006
ACM
15 years 11 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
157
Voted
ACIVS
2005
Springer
15 years 10 months ago
2005
Springer
Multiresolution video denoising is becoming an increasingly popular research topic over recent years. Although several wavelet based algorithms reportedly outperform classical sing...
144
Voted
ICIP
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a novel algorithm to compute Voronoi diagrams of order k in arbitrary 2D and 3D domains. The algorithm is based on a fast ordered propagation distance transformation ca...
123
Voted
SSDBM
2003
IEEE
15 years 10 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
161
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...