2343 search results - page 25 / 469 » Structure and Interpretation of Computer Programs |
129
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We study the problem of generating plausible interpretations
of a scene from a collection of line segments automatically
extracted from a single indoor image. We show that
we ca...
165
Voted
SAS
1992
Springer
15 years 6 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
211
click to vote
POPL
1999
ACM
15 years 6 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
124
click to vote
COLING
2002
15 years 2 months ago
2002
We describe a mechanism for the interpretation of arguments, which can cope with noisy conditions in terms of wording, beliefs and argument structure. This is achieved through the...
127
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...