3166 search results - page 84 / 634 » Translation By Structural Correspondences |
91
Voted
SCAM
2008
IEEE
15 years 7 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...
123
click to vote
SIGMOD
2003
ACM
16 years 24 days 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...
86
Voted
ER
2007
Springer
15 years 6 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...
96
Voted
LICS
2008
IEEE
15 years 7 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...
109
click to vote
SIBGRAPI
2008
IEEE
15 years 7 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...