4 search results - page 1 / 1 » jolli 2011 |
101
click to vote
JOLLI
2011
14 years 10 months ago
2011
Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures. Keywords Partial applicative struc...
138
click to vote
JOLLI
2011
14 years 10 months ago
2011
We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a ...
121
click to vote
JOLLI
2011
14 years 6 months ago
2011
This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificationa...
136
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Drawing a box around an intended segmentation target has become both a popular user interface and a common output for learning-driven detection algorithms. Despite the ubiquity of...