Computer Science: Journal/Magazine Articles Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 401 to 420 of 1596
TitleAuthor(s)Issue Date
 
2021
 
2020
 
DL2: A Deep Learning-driven Scheduler for Deep Learning Clusters
Journal:IEEE Transactions on Parallel and Distributed Systems
2021
 
Resolution as intersection subtyping via Modus Ponens
Journal:Proceedings of the ACM on Programming Languages
2020
 
Castor: Programming with extensible generative visitors
Journal:Science of Computer Programming
2020
 
Consistent Subtyping for All
Journal:ACM Transactions on Programming Languages and Systems
2020
 
Unifying typing and subtyping
Journal:Proceedings of the ACM on Programming Languages
2017
 
2020
 
2020
 
A Nonintrusive Elderly Home Monitoring System
Journal:IEEE Internet of Things Journal
2021
 
2021
 
2020
 
Fashion Retrieval via Graph Reasoning Networks on a Similarity Pyramid
Journal:IEEE Transactions on Pattern Analysis and Machine Intelligence
2020
 
A dependently typed calculus with polymorphic subtyping
Journal:Science of Computer Programming
2021
 
Pure iso-type systems
Journal:Journal of Functional Programming
2019
 
A mechanical formalization of higher-ranked polymorphic type inference
Journal:Proceedings of the ACM on Programming Languages
2019
 
Separating Use and Reuse to Improve Both
Journal:The Art, Science, and Engineering of Programming
2019
 
Learning Spatial Attention for Face Super-Resolution
Journal:IEEE Transactions on Image Processing
2021
 
2021
 
Optimization-Based Framework for Excavation Trajectory Generation
Journal:IEEE Robotics and Automation Letters
2021
Collection's Items (Sorted by Submit Date in Descending order): 401 to 420 of 1596