Informatics - PDFSEARCH.IO - Document Search Engine

Informatics
Results: 44891

#	Item
461	Domain Science & Engineering∗ Dines Bjørner DTU Informatics, Techn.Univ.of Denmark , www.imm.dtu.dk/~dibj November 17, 2012: 16:19 1 Add to Reading List Source URL: www2.imm.dtu.dk - Date: 2012-11-17 10:21:15
462	ИНСТИТУТ ПО МАТЕМАТИКА И ИНФОРМАТИКА INSTITUTE OF MATHEMATICS AND INFORMATICS Секция Биоматематика Department Biomathematics Add to Reading List Source URL: www.math.bas.bg - Date: 2009-04-29 05:21:26
463	The Edinburgh/JHU Phrase-based Machine Translation Systems for WMT 2015 Barry Haddow1 , Matthias Huck1 , Alexandra Birch1 , Nikolay Bogoychev1 , Philipp Koehn1,2 1 School of Informatics, University of Edinburgh Add to Reading List Source URL: aclweb.org - Date: 2015-09-14 11:07:10
464	Edinburgh’s Syntax-Based Systems at WMT 2015 Philip Williams1 , Rico Sennrich1 , Maria Nadejde1 , Matthias Huck1 , Philipp Koehn1,2 1 School of Informatics, University of Edinburgh 2 Add to Reading List Source URL: aclweb.org - Date: 2015-09-14 11:07:29
465	Edinburgh’s Phrase-based Machine Translation Systems for WMT-14 Nadir Durrani Barry Haddow Philipp Koehn School of Informatics Add to Reading List Source URL: www.aclweb.org - Date: 2014-06-16 05:56:21
466	Hybrid Context-Sensitivity for Points-To Analysis George Kastrinis Yannis Smaragdakis Department of Informatics Add to Reading List Source URL: yanniss.github.io - Date: 2016-12-22 12:58:04
467	Uniform Variable Splitting Roger Antonsen Department of Informatics, University of Oslo, Norway This extended abstract motivates and presents techniques for identifying variable independence in free variable calculi for Add to Reading List Source URL: ceur-ws.org - Date: 2004-06-10 03:28:33
468	Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
469	Translating Negation: Induction, Search And Model Errors Federico Fancellu and Bonnie Webber School of Informatics University of Edinburgh 11 Crichton Street, Edinburgh f.fancellu[at]sms.ed.ac.uk , bonnie[at]inf.ed.ac.uk Add to Reading List Source URL: aclweb.org - Date: 2015-06-01 16:13:45
470	3D Object Recognition using Convolutional Neural Networks with Transfer Learning between Input Channels Luís A. Alexandre ? Department of Informatics and Instituto de Telecomunicações Univ. Beira Interior, Covilhã, P Add to Reading List Source URL: www.di.ubi.pt - Date: 2014-05-15 06:35:38

UPDATE