Concolic Testing for Deep Neural Networks

Source URL: qav.comlab.ox.ac.uk

TV NEWS STORY SEGMENTATION USING DEEP NEURAL NETWORK Zhu Liu Yuan Wang AT&T Labs - Research

Source URL: www.research.att.com

• Linguistics
• Artificial neural networks
• Computational neuroscience
• Artificial intelligence
• Computational linguistics
• Applied mathematics
• Computational statistics
• Machine learning
• Text segmentation
• Convolutional neural network
• Image segmentation
• Natural language processing

QUICK REFERENCE GUIDE POWEREDGE C SERIES Data centers are undergoing a transformation to meet the demands of the digital economy. Built for scale-out workloads like high performance computing, deep learning and data ana

Source URL: i.dell.com

• Computing
• Computer hardware
• Server hardware
• EMC Corporation
• Dell PowerEdge
• OpenManage
• Dell
• NVM Express
• Texas Advanced Computing Center
• Dell M1000e

Proceedings of the ACL 2005 Workshop on Deep Lexical Acquisition. Automatically Distinguishing Literal and Figurative Usages of Highly Polysemous Verbs Afsaneh Fazly and Ryan North and Suzanne Stevenson Department of Co

Source URL: www.ryannorth.ca

• Linguistics
• English grammar
• Light verb
• Semantics
• Idiom
• Phrasal verb
• Principle of compositionality
• Argument
• English verbs
• Object

Deep Diving into Africa’s Inter-Country Latencies Agustin Formoso∗ , Josiah Chavula† , Amreesh Phokeer† ‡ , Arjuna Sathiaseelan§ , Gareth Tyson¶ ∗ LACNIC † AFRINIC ‡ University of Cape Town § Universit

Source URL: www.eecs.qmul.ac.uk

• Computing
• Information and communications technology
• System software
• Broadband
• Latency
• Round-trip delay time
• Cluster analysis
• RIPE Atlas
• Internet access
• Traceroute
• Hop
• Lag

On the crossroads of enumerative geometry and geometric representation theory Andrei Okounkov The subjects in the title are interwoven in many different and very deep ways. I recently wrote several expository accounts [6

Source URL: eta.impa.br

• Abstract algebra
• Algebra
• Mathematics
• Algebraic geometry
• Algebraic topology
• Symplectic topology
• Intersection theory
• Homotopy theory
• Divisor
• Cohomology
• Enumerative geometry
• Ample line bundle

Distributed Computing Prof. R. Wattenhofer Audio Source Separation with Deep Learning Source separation is an established research field in signal processing. Most people have

Source URL: www.tik.ee.ethz.ch

• Educational technology
• Online education
• Open educational resources
• Education
• Technology
• Sound recording
• Cybernetics
• Learning
• Machine learning
• Stereophonic sound
• Andrew Ng
• Udacity

Distributed Computing Prof. R. Wattenhofer Automatic Music Generation with Deep Learning In this thesis we want to come up with new methods for automatic music generation based

Source URL: www.tik.ee.ethz.ch

• Education
• Technology
• Online education
• Open educational resources
• Cybernetics
• Learning
• Computational neuroscience
• Machine learning
• Andrew Ng
• Coursera
• Udacity
• Artificial intelligence

AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me

Source URL: alloytools.org

• Mathematics
• Theoretical computer science
• Formal methods
• Model theory
• Conflict-driven clause learning
• Solver
• Alloy
• Metamodeling
• Meta-Object Facility
• Embedding
• First-order logic
• Mathematical logic