4355 search results - page 185 / 871 » From Interpretation to Compilation |
127
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Protein structural alignment provides a fundamental basis for deriving principles of functional and evolutionary relationships. It is routinely used for structural cla...
108
click to vote
ENTCS
2006
15 years 4 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
108
click to vote
ICWSM
2009
15 years 2 months ago
2009
Current news interfaces are largely driven by recent information, even though many events are better interpreted in context of previous related events. To address this problem, we...
155
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
138
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...