3657 search results - page 161 / 732 » A Study of Practical Deduplication |
103
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
CORR
2010
Springer
14 years 5 months ago
2010
Springer
Long-term preservation of data and software of large experiments and detectors in high energy physics is of utmost importance to secure the heritage of (mostly unique) data and to...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
Although widely studied for many years, colour quantisation remains a practical problem in image processing. Unlike previous works where the image can only be quantised after the ...
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Methods exploiting tree-decompositions seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. However, they have not shown a real...