214
click to vote
LLC
2016
10 years 26 days ago
2016
An eye-tracking study compared the effects of actions (depicted as tools between on-screen characters) with those of a speaker’s gaze and head shift between the same two charact...
LGRS
2016
10 years 26 days ago
2016
—In this letter, we propose a novel ship detection method in synthetic aperture radar (SAR) imagery via variational Bayesian inference. First, we establish the ship detection pro...
LGRS
2016
10 years 26 days ago
2016
Abstract: The derivation of shallow-water bathymetry from multispectral satellite images has become a highly active field of research in recent years. Nowadays, as satellite image...
130
click to vote
LFCS
2016
Springer
10 years 26 days ago
2016
Springer
We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we intr...
106
click to vote
LFCS
2016
Springer
10 years 26 days ago
2016
Springer
In contrast to most kinds of computability studied in mathematical logic, feedback computability has a non-degenerate notion of parallelism. Here we study parallelism for the most...
128
click to vote
LFCS
2016
Springer
10 years 26 days ago
2016
Springer
We generalize the adjoint logics of Benton and Wadler (1996) and Reed (2009) to allow multiple different adjunctions between the same categories. This provides insight into the str...
214
click to vote
LFCS
2016
Springer
10 years 26 days ago
2016
Springer
Abstract. We present a soundness theorem for a dependent type theory with context conith respect to an indexed category of (finite, abstract) simplical complexes. The point of int...
127
click to vote
LATIN
2016
Springer
10 years 26 days ago
2016
Springer
We consider drawings of graphs in the plane in which edges are represented by polygonal paths with at most one bend and the number of different slopes used by all segments of thes...
237
click to vote
LATIN
2016
Springer
10 years 26 days ago
2016
Springer
We study the compressed representation of a ranked tree by a straight-line program (SLP) for its preorder traversal string, and compare it with the previously studied representatio...