1264 search results - page 40 / 253 » Towards Theory Translation |
CADE
1997
Springer
14 years 29 days ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
ITP
2010
13 years 7 months ago
2010
eXtensible Business Reporting Language (XBRL) presents new opportunities for integrating information flow within communities of diverse organisations thereby significantly enhanci...
PCI
2001
Springer
14 years 1 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
It has been observed from image denoising experiments that translation invariant (TI) wavelet transforms often outperform orthogonal wavelet transforms. This paper compares the tw...