2701 search results - page 21 / 541 » On the form of witness terms |
JSAI
2007
Springer
15 years 6 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
109
click to vote
ICPR
2006
IEEE
16 years 27 days ago
2006
IEEE
This work studies an optimization approach for designing tone reproduction curve (TRC) based tone mapping operators for the display of high dynamic range (HDR) images in low dynam...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Abstract. Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[Sr] of a symmetric group Sr. If for a class of tenso...