4355 search results - page 453 / 871 » From Interpretation to Compilation |
148
click to vote
IUI
2005
ACM
16 years 13 days ago
2005
ACM
Annotating a document with an interpretation of its contents raises a number of challenges that we are hoping to address via the creation of a supporting environment. We present t...
152
click to vote
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
197
click to vote
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
164
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
185
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
XCS is a stochastic algorithm, so it does not guarantee to produce the same results when run with the same input. When interpretability matters, obtaining a single, stable result ...