2138 search results - page 34 / 428 » Logical Step-Indexed Logical Relations |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract--Effective complexity measures the information content of the regularities of an object. It has been introduced by M. Gell-Mann and S. Lloyd to avoid some of the disadvant...
ACS
2005
13 years 9 months ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
SIGMOD
2009
ACM
14 years 10 months ago
2009
ACM
ICDAR
2005
IEEE
14 years 3 months ago
2005
IEEE
Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...