Structures - PDFSEARCH.IO - Document Search Engine

Structures
Results: 12734

#	Item
391	ON ANALYTICITY IN DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoSCoS generalises the s Add to Reading List Source URL: cs.bath.ac.uk - Date: 2016-12-16 05:02:50
392	The Standish Group Report CHAOS ! “The Roman bridges of antiquity were very inefficient structures. By modern standards, they used too much stone, Add to Reading List Source URL: www.projectsmart.co.uk - Date: 2015-07-26 12:34:37
393	Bayesian Network Automata for Modelling Unbounded Structures James Henderson Department of Computer Science University of Geneva Geneva, Switzerland Add to Reading List Source URL: aclweb.org - Date: 2011-09-20 12:01:49
394	Analyzing inheritance hierarchies through Formal Concept Analysis A 22-years walk in a landscape of conceptual structures Marianne Huchard LIRMM (CNRS et Universit´e de Montpellier), 161 rue Ada, 34095 Montpellier Cedex Add to Reading List Source URL: www.lirmm.fr
395	When Are Tree Structures Necessary for Deep Learning of Representations? Jiwei Li1 , Minh-Thang Luong1 , Dan Jurafsky1 and Eduard Hovy2 Computer Science Department, Stanford University, Stanford, CALanguage Tech Add to Reading List Source URL: www.aclweb.org - Date: 2015-09-09 11:14:09
396	STRUCTURES Snow mean feat Add to Reading List Source URL: avachisling.com - Date: 2010-08-10 19:13:32
397	Closures Mooly Sagiv Michael Clarkson, Cornell CS 3110 Data Structures and Functional Programming Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-04-11 02:14:33
398	Flexible Modeling of Latent Task Structures in Multitask Learning Alexandre Passos† Computer Science Department, University of Massachusetts, Amherst, MA USA Piyush Rai† School of Computing, University of Utah, Salt Add to Reading List Source URL: www.cs.utah.edu - Date: 2012-05-27 12:38:14
399	Definable functions continuous on curves in o-minimal structures Add to Reading List Source URL: u.cs.biu.ac.il - Date: 2016-09-16 09:53:19
400	Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2014-07-25 05:56:10

UPDATE