123
click to vote
MMM
2016
Springer
9 years 11 months ago
2016
Springer
Object proposal is utilized as a fundamental preprocessing of various multimedia applications by detecting the candidate regions of objects in images. In this paper, we propose a n...
118
click to vote
MMM
2016
Springer
9 years 11 months ago
2016
Springer
Abstract. In this demo, we demonstrate a mobile real-time eating action recognition system, GrillCam. It continuously recognizes user’s eating action and estimates categories of ...
216
Voted
MMM
2016
Springer
9 years 11 months ago
2016
Springer
Instagram is a popular social networking application, which allows photo-sharing and applying different photo filters to adjust the appearance of a picture. By applying these fi...
100
click to vote
MMM
2016
Springer
9 years 11 months ago
2016
Springer
In this work we explore how neurophysiological correlates related to attention and perception can be used to better understand the image-annotation task. We explore the nature of t...
220
Voted
MMB
2016
Springer
9 years 11 months ago
2016
Springer
MLQ
2016
9 years 11 months ago
2016
Starting from a model V “ZFC + GCH + κ is supercompact + No cardinal is supercompact up to a measurable cardinal”, we force and construct a model V P such that V P “ZFC + ...
MLQ
2016
9 years 11 months ago
2016
39
Voted
MLQ
2016
9 years 11 months ago
2016
We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the N3 level of the substructural hierarchy.
MLQ
2016
9 years 11 months ago
2016
In this paper, we prove that certain theories of (many-sorted) intuitionistic predicate logic is closed under the independence of premiss rule (IPR). As corollaries, we show that ...
223
Voted
ML
2016
ACM
9 years 11 months ago
2016
ACM
Markov logic networks (MLNs) are a well-known statistical relational learning formalism that combines Markov networks with first-order logic. MLNs attach weights to formulas in ...