SUMIT - PDFSEARCH.IO - Document Search Engine

SUMIT
Results: 229

#	Item
101	doi:Continuity and Robustness of Programs By Swarat Chaudhuri, Sumit Gulwani, and Roberto Lublinerman Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-07-27 13:41:06 Lipschitz continuity Lipschitz maps Continuous function Mathematical optimization Derivative Function Lipschitz domain Modulus of continuity Mathematical analysis Mathematics Functions and mappings
102	Automatic Game Progression Design through Analysis of Solution Features Eric Butler1 , Erik Andersen2 , Adam M. Smith1 , Sumit Gulwani3 , and Zoran Popovi´c1 3 2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-18 12:01:34 Problem solving Thought Mathematical puzzle Games Platform game Procedural generation Level Mind Puzzles Abstraction Creativity
103	A Practical Framework for Constructing Structured Drawings Salman Cheema1 , Sarah Buchanan1 , Sumit Gulwani2 , Joseph J. LaViola Jr.1 University of Central Florida, Orlando, FL , 2 Microsoft Research, Redmond, WA 1 {salm Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-01-07 17:02:15 Tessellation Vision Visual arts Aesthetics Design Pattern Gesture recognition
104	Inductive Programming Meets the Real World Sumit Gulwani José Hernández-Orallo Stephen H. Muggleton Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-04 21:08:00 Programming paradigms Cybernetics Learning Machine learning Domain-specific language End-user development Logic programming Inductive logic programming Usability Software engineering Computing Human–computer interaction
105	doi:Spreadsheet Data Manipulation Using Examples By Sumit Gulwani, William R. Harris, and Rishabh Singh Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-07-29 01:36:56 Formal languages String Comparison of programming languages International Securities Identification Number Spreadsheet Expr Regular expression Scheme AWK Computing Software engineering Software
106	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
107	SmartSynth: Synthesizing Smartphone Automation Scripts from Natural Language Vu Le Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-07-17 03:13:18 Visual programming languages Software engineering Computer data Dataflow Natural language processing Futures and promises Computing Computer architecture Models of computation
108	From Relational Verification to SIMD Loop Synthesis Gilles Barthe1 Juan Manuel Crespo1 Sumit Gulwani2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-01-13 01:49:04 Computer programming Control flow Loop optimization Vectorization Loop invariant Infinite loop For loop SIMD Parallel computing Computing Software engineering Compiler optimizations
109	Synthesizing Number Transformations from Input-Output Examples Rishabh Singh1? and Sumit Gulwani2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 01:42:55 Symbol Rounding
110	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-09 20:33:37 Mathematical logic Algorithm Theoretical computer science Dynamic programming Function Escher Mathematics Applied mathematics Functions and mappings

UPDATE