3238 search results - page 103 / 648 » On the Computational Interpretation of Negation |
FOSSACS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
PLDI
1998
ACM
14 years 2 months ago
1998
ACM
Achieving good performance in bytecoded language interpreters is di cult without sacri cing both simplicity and portability. This is due to the complexity of dynamic translation (...
SP
2010
IEEE
14 years 3 months ago
2010
IEEE
Trusting a computer for a security-sensitive task (such as checking email or banking online) requires the user to know something about the computer’s state. We examine research ...
NIPS
1997
14 years 15 days ago
1997
Up-propagation is an algorithm for inverting and learning neural network generative models. Sensory input is processed by inverting a model that generates patterns from hidden var...
ECIS
2000
14 years 15 days ago
2000
- The paper discusses the role of multimedia case studies in management education basing on direct experiences derived from an on going E.U. project. Literature has analysed in dep...