4355 search results - page 339 / 871 » From Interpretation to Compilation |
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
186
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...
170
click to vote
SIAMIS
2008
15 years 6 months ago
2008
We present novel wavelet-based inpainting algorithms. Applying ideas from anisotropic regularization and diffusion our models can better handle degraded pixels at edges. We interp...
188
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
It is well known that in linear programming, the optimal values of the dual variables can be interpreted as shadow prices (marginal values) of the right-hand side coefficients. How...
291
click to vote
JCISE
2002
15 years 6 months ago
2002
Virtual Prototyping (VP) technique has been interpreted in many different ways, which causes confusion and misunderstanding among researchers and practitioners. Based on a review ...