1216 search results - page 81 / 244 » Translation analysis and translation automation |
HOTSWUP
2009
ACM
14 years 27 days ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...
DFG
2004
Springer
13 years 12 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
An area based counterpart of the binary structural opening spectra is developed. It is shown that these area opening and closing spectra can be computed using an adaptation of Tar...
ASM
2010
ASM
14 years 3 months ago
2010
ASM
We extend the Alloy language with the standard imperative constructs; we show the mix of declarative and imperative constructs to be useful in modeling dynamic systems. We present ...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
KernScores, an online library of musical data currently consisting of over 5 million notes, has been created to assist projects dealing with the computational analysis of musical ...