SUMIT - PDFSEARCH.IO - Document Search Engine

SUMIT
Results: 229

#	Item
51	´ JONSSON-STYLE CANONICITY FOR ALBA-INEQUALITIES ALESSANDRA PALMIGIANO, SUMIT SOURABH, ZHIGUANG ZHAO Abstract. The theory of canonical extensions typically considers extensions of maps A ! B to maps A ! B . In the prese Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English
52	Algorithmic correspondence for intuitionistic modal mu-calculus Willem Conradie, Yves Fomatati, Alessandra Palmigiano, Sumit Sourabh Abstract In the present paper, the algorithmic correspondence theory developed in (Conr Add to Reading List Source URL: www.appliedlogictudelft.nl Language: English - Date: 2014-12-10 13:51:52
53	#TAG S PACE: Semantic Embeddings from Hashtags Jason Weston Facebook AI Research Sumit Chopra Add to Reading List Source URL: www.thespermwhale.com Language: English - Date: 2014-09-02 19:51:42 Computing Information science Artificial neural networks Information Collective intelligence Computer jargon Knowledge representation Web 2.0 Word embedding Word2vec Deep learning Hashtag
54	LASERS AND OPTICS THREE FREQUENCY UNDULATOR RADIATION AND FREE ELECTRON LASER GAIN SUMIT TRIPATHI1 , G.MISHRA1 1 Add to Reading List Source URL: www.nipne.ro Language: English* - Date: 2012-10-05 05:19:42
55	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: www.eecs.ucf.edu Language: English - Date: 2014-03-05 23:04:05
56	Recursive Program Synthesis Aws Albarghouthi (UToronto), Sumit Gulwani (MSR), and Zachary Kincaid (UToronto) CAV 2013 Saint Petersburg, Russia Add to Reading List Source URL: www.cs.utoronto.ca - Date: 2013-07-25 09:57:50
57	Recursive Program Synthesis Aws Albarghouthi1 , Sumit Gulwani2 , and Zachary Kincaid1 1 University of Toronto 2 Add to Reading List Source URL: www.cs.utoronto.ca Language: English - Date: 2013-04-06 17:20:26
58	From Program Verification to Program Synthesis Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-03 10:14:03
59	FlashMeta: A Framework for Inductive Program Synthesis Oleksandr Polozov Sumit Gulwani University of Washington, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-08-27 23:01:32
60	From Relational Verification to SIMD Loop Synthesis Gilles Barthe1 Juan Manuel Crespo1 Sumit Gulwani2 Add to Reading List Source URL: www.software.imdea.org Language: English - Date: 2013-01-05 18:48:50

UPDATE