April 06, 2018 / / in cs updates on arXiv.org / with No comments /
We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.
Modular Mechanistic Networks: On Bridging Mechanistic and Phenomenological Models with Deep Neural Networks in Natural Language Processing. (arXiv:1807.09844v1 [cs.CL])Diffusion and consensus on weakly connected directed graphs. (arXiv:1807.09846v1 [math.CO])A multi-device dataset for urban acoustic scene classification. (arXiv:1807.09840v1 [eess.AS])Local Orthogonal-Group Testing. (arXiv:1807.09848v1 [cs.CV])Understanding and representing the semantics of large structured documents. (arXiv:1807.09842v1 [cs.CL])
0 comments:
Post a Comment