108
click to vote
LOGCOM
2016
10 years 25 days ago
2016
Justification logics refine modal logics by replacing the usual necessity operator with a family of justification terms that embody reasons for the necessity of a formula, rath...
214
click to vote
LLC
2016
10 years 25 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 25 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 25 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 25 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...