3166 search results - page 105 / 634 » Translation By Structural Correspondences |
138
click to vote
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
Structured P2P systems based on distributed hash tables are a popular choice for building large-scaled data management systems. Generally, they only support exact match queries, b...
94
Voted
APAL
2010
15 years 25 days ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
114
Voted
BMCBI
2007
15 years 25 days ago
2007
Background: In recent years, RNA molecules that are not translated into proteins (ncRNAs) have drawn a great deal of attention, as they were shown to be involved in many cellular ...
115
Voted
EDBT
2008
ACM
16 years 25 days ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
ICFP
2001
ACM
16 years 20 days ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...