MLQ
2016
10 years 25 days ago
2016
MLQ
2016
10 years 25 days 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
10 years 25 days 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 ...
237
click to vote
ML
2016
ACM
10 years 26 days 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 ...
150
click to vote
ML
2016
ACM
10 years 26 days ago
2016
ACM
Abstract. In this work, we lower bound the individual sequence anytime regret of a large family of online algorithms. This bound depends on the quadratic variation of the sequence,...
142
click to vote
ML
2016
ACM
10 years 26 days ago
2016
ACM
Abstract The accurate and early detection of epileptic seizures in continuous electroencephalographic (EEG) data has a growing role in the management of patients with epilepsy. Ear...
155
click to vote
ML
2016
ACM
10 years 26 days ago
2016
ACM
We propose a novel class of kernels to identify tactical patterns in multi-trajectory data such as soccer games. Formally, we introduce a group of R-convolution kernels called Spa...
MIDM
2016
10 years 26 days ago
2016
Background: An Early Warning Score is a clinical risk score based upon vital signs intended to aid recognition of patients in need of urgent medical attention. The use of an escal...
MIDM
2016
10 years 26 days ago
2016
Background: Nurses’ risk assessments of patients at risk of deterioration are sometimes suboptimal. Advances in clinical simulation mean higher quality information can be used a...