3166 search results - page 84 / 634 » Translation By Structural Correspondences |
125
click to vote
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
In a previous study, we showed that indentation was regular across multiple languages and the variance in the level of indentation of a block of revised code is correlated with me...
174
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
117
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
129
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
150
click to vote
SIBGRAPI
2008
IEEE
15 years 11 months ago
2008
IEEE
2D electrophoresis is a well known method for protein separation which is extremely useful in the field of proteomics. Each spot in the image represents a protein accumulation an...