INF - PDFSEARCH.IO - Document Search Engine

INF
Results: 15295

#	Item
11	Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 14:16:19 Theoretical computer science Markov models Formal methods Graph theory Markov chain Process calculus Semantics Stochastic process Mathematics
12	Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:01
13	http://plml.ethz.ch Big Code: last 5 years @ ETH • • Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:53 Programming language syntax Biconjugate gradient stabilized method Numerical linear algebra Module:Dump
14	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-20 03:24:48 Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic
15	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:48 Probabilistic programming language Machine learning Information retrieval Cognition Cognitive science
16	Universität Leipzig Institut für Informatik Diplomarbeit Charakterisierung erkennbarer Add to Reading List Source URL: wwwtcs.inf.tu-dresden.de Language: German - Date: 2013-01-23 10:21:41
17	Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-26 10:39:46 Computer programming Software engineering Computing Lisp Functional programming Data types Abstract data types Functional languages Append ACL2 Cons Nqthm
18	Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Computing Application software Computer science Machine learning Conditional random field Symposium on Principles of Programming Languages Programming Language Design and Implementation R Structured prediction
19	PDF Document Add to Reading List Source URL: files.sri.inf.ethz.ch - Date: 2018-09-05 10:57:51

UPDATE