We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for Apr 2019, skipping first 150

[ total of 4778 entries: 1-25 | ... | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | ... | 4776-4778 ]
[ showing 25 entries per page: fewer | more ]
[151]  arXiv:1904.00553 [pdf, other]
Title: Layered Image Compression using Scalable Auto-encoder
Comments: accepted by IEEE MIPR 2019 as conference paper
Subjects: Multimedia (cs.MM)
[152]  arXiv:1904.00558 [pdf, other]
Title: Defogging Kinect: Simultaneous Estimation of Object Region and Depth in Foggy Scenes
Comments: 16 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[153]  arXiv:1904.00560 [pdf, other]
Title: Scene Graph Generation with External Knowledge and Image Reconstruction
Comments: 10 pages, 5 figures, Accepted in CVPR 2019
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[154]  arXiv:1904.00561 [pdf, other]
Title: VINE: Visualizing Statistical Interactions in Black Box Models
Authors: Matthew Britton
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[155]  arXiv:1904.00562 [pdf, other]
Title: Deep Clustering With Intra-class Distance Constraint for Hyperspectral Images
Subjects: Machine Learning (cs.LG); Image and Video Processing (eess.IV); Machine Learning (stat.ML)
[156]  arXiv:1904.00566 [pdf, other]
Title: Multi-source weak supervision for saliency detection
Comments: cvpr2019
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[157]  arXiv:1904.00575 [pdf, other]
Title: A Novel GAN-based Fault Diagnosis Approach for Imbalanced Industrial Time Series
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[158]  arXiv:1904.00577 [pdf, other]
Title: Adaptive Bayesian Linear Regression for Automated Machine Learning
Comments: Added references;Corrected typos.Revised argument,results unchanged
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[159]  arXiv:1904.00579 [pdf, other]
Title: Palmprint image registration using convolutional neural networks and Hough transform
Comments: 6 figures, 8 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[160]  arXiv:1904.00583 [pdf, other]
Title: Sound source ranging using a feed-forward neural network with fitting-based early stopping
Subjects: Machine Learning (cs.LG); Sound (cs.SD); Signal Processing (eess.SP); Computational Physics (physics.comp-ph); Machine Learning (stat.ML)
[161]  arXiv:1904.00585 [pdf, other]
Title: Using Similarity Measures to Select Pretraining Data for NER
Comments: NAACL 2019
Subjects: Computation and Language (cs.CL)
[162]  arXiv:1904.00592 [pdf, other]
Title: ResUNet-a: a deep learning framework for semantic segmentation of remotely sensed data
Comments: Accepted for publication to the ISPRS Journal of Photogrammetry and Remote Sensing
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[163]  arXiv:1904.00597 [pdf, other]
Title: Learning Combinatorial Embedding Networks for Deep Graph Matching
Comments: ICCV2019 oral. Code available at this https URL
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[164]  arXiv:1904.00601 [pdf, ps, other]
Title: Distributed Power Control for Large Energy Harvesting Networks: A Multi-Agent Deep Reinforcement Learning Approach
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Machine Learning (stat.ML)
[165]  arXiv:1904.00605 [pdf, other]
Title: Relative Attributing Propagation: Interpreting the Comparative Contributions of Individual Units in Deep Neural Networks
Comments: 8 pages, 7 figures, Accepted paper in AAAI Conference on Artificial Intelligence (AAAI), 2020
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[166]  arXiv:1904.00607 [pdf, other]
Title: Video Object Segmentation using Space-Time Memory Networks
Comments: ICCV 2019
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[167]  arXiv:1904.00609 [pdf, ps, other]
Title: Passive Head-Mounted Display Music-Listening EEG dataset
Authors: Grégoire Cattan (GIPSA-Services, IHMTEK), Pedro C. Rodrigues (GIPSA-Services), Marco Congedo (GIPSA-Services)
Subjects: Human-Computer Interaction (cs.HC)
[168]  arXiv:1904.00613 [pdf, ps, other]
Title: An Alternative Set Model of Cognitive Jump
Comments: 14 pages
Subjects: Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH)
[169]  arXiv:1904.00614 [pdf, ps, other]
Title: Risk management in design process for Factory of the future
Authors: Guangying Jin (IMS), Séverine Sperandio (IMS), Philippe Girard (IMS)
Journal-ref: NICST' 2017, New Information Communication Sciences and Technology for Sustainable Development, Jun 2017, Clermont-Ferrand, France (ISBN: 978-2-9544948-0-7,. EAN: 9782954494807)., Jun 2017, Clermont-Ferrand, France
Subjects: Computers and Society (cs.CY)
[170]  arXiv:1904.00615 [pdf, other]
Title: Discontinuous Constituency Parsing with a Stack-Free Transition System and a Dynamic Oracle
Comments: Accepted for publication at NAACL 2019; 14 pages
Subjects: Computation and Language (cs.CL)
[171]  arXiv:1904.00616 [pdf, other]
Title: ISS Lyapunov Functions for Cascade Switched Systems and Sampled-Data Control
Comments: The article has been published in Automatica. Minor corrections/modifications compared to the journal version are indicated in blue colored text
Journal-ref: Automatica, 105:216--227, July 2019
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Optimization and Control (math.OC)
[172]  arXiv:1904.00617 [pdf, other]
Title: Students' Proof Assistant (SPA)
Authors: Anders Schlichtkrull (Technical University of Denmark), Jørgen Villadsen (Technical University of Denmark), Andreas Halkjær From (Technical University of Denmark)
Comments: In Proceedings ThEdu'18, arXiv:1903.12402
Journal-ref: EPTCS 290, 2019, pp. 1-13
Subjects: Logic in Computer Science (cs.LO)
[173]  arXiv:1904.00618 [pdf, other]
Title: Natural Deduction Assistant (NaDeA)
Authors: Jørgen Villadsen (Technical University of Denmark), Andreas Halkjær From (Technical University of Denmark), Anders Schlichtkrull (Technical University of Denmark)
Comments: In Proceedings ThEdu'18, arXiv:1903.12402
Journal-ref: EPTCS 290, 2019, pp. 14-29
Subjects: Logic in Computer Science (cs.LO)
[174]  arXiv:1904.00619 [pdf, ps, other]
Title: Towards Ranking Geometric Automated Theorem Provers
Authors: Nuno Baeta (University of Coimbra), Pedro Quaresma (University of Coimbra)
Comments: In Proceedings ThEdu'18, arXiv:1903.12402
Journal-ref: EPTCS 290, 2019, pp. 30-37
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[175]  arXiv:1904.00620 [pdf, other]
Title: Theorem and Algorithm Checking for Courses on Logic and Formal Methods
Authors: Wolfgang Schreiner (Johannes Kepler University, Linz, Austria)
Comments: In Proceedings ThEdu'18, arXiv:1903.12402
Journal-ref: EPTCS 290, 2019, pp. 56-75
Subjects: Logic in Computer Science (cs.LO)
[ total of 4778 entries: 1-25 | ... | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | ... | 4776-4778 ]
[ showing 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2405, contact, help  (Access key information)