1216 search results - page 186 / 244 » Translation analysis and translation automation |
RTA
2011
Springer
12 years 10 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
SIGMOD
2011
ACM
12 years 10 months ago
2011
ACM
We study the problem of computing approximate quantiles in large-scale sensor networks communication-efficiently, a problem previously studied by Greenwald and Khana [12] and Shri...
FDL
2011
IEEE
12 years 7 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
—Radial harmonic Fourier moments (RHFMs) are invariant to translation, rotation, scaling and intensity, which own excellent image description ability, noise-resistant power, and ...
BMCBI
2007
13 years 8 months ago
2007
Background: Microarray technologies have evolved rapidly, enabling biologists to quantify genome-wide levels of gene expression, alternative splicing, and sequence variations for ...