Bitbucket - PDFSEARCH.IO - Document Search Engine

Bitbucket
Results: 212

#	Item
31	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
32	SMT-Based Verification of Parameterized Systems ∗ Arie Gurfinkel Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18
33	Neural Program Meta-Induction arXiv:1710.04157v1 [cs.AI] 11 Oct 2017 Jacob Devlin∗ Google Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Machine learning Learning Artificial intelligence Computational neuroscience Cognition Computational statistics Artificial neural network Market research Mathematical psychology Supervised learning Metamodeling Feature learning
34	SIGCHI Conference Proceedings Format Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Humancomputer interaction Computing User interfaces Software User interface techniques Programming paradigms Machine learning Programming by example End-user development User interface Usability Interaction technique
35	Pushing to the Top with K-induction Arie Gurfinkel Electrical and Computer Engineering University of Waterloo joint work with Alexander Ivrii (IBM) Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18
36	FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang Sumit Gulwani UT Austin, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computer programming Software engineering Formal languages Theoretical computer science Computing Directed acyclic graph Filter Regular expression Recursion Finite-state machine
37	Neuro-Symbolic Program Corrector for Introductory Programming Assignments Sahil Bhatia Pushmeet Kohli Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computational linguistics Applied mathematics Source code Syntax N-gram Artificial neural network Parsing Recurrent neural network Speech recognition TeX
38	Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang? , Chenglong Wang† , Rishabh Singh? , Wen-tau Yih‡ , Xiaodong He∗ ? Microsoft Research, † University of Washington, ‡ Allen Instit Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Machine learning Computing Data management Artificial intelligence Computational neuroscience Artificial neural networks Computational linguistics Meta learning Supervised learning Support vector machine Deep learning SQL syntax
39	Programmatically Interpretable Reinforcement Learning Abhinav Verma 1 Vijayaraghavan Murali 1 Rishabh Singh 2 Pushmeet Kohli 3 Swarat Chaudhuri 1 Abstract Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Applied mathematics Computational neuroscience Machine learning Artificial intelligence Cybernetics Machine learning algorithms Artificial neural networks Reinforcement learning Outline of machine learning Markov decision process Deep learning Algorithm
40	SIGCHI Conference Proceedings Format Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Software engineering Computing Computer programming Stack Go