Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
251	Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification Naoki Kobayashi Naoshi Tabuchi Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2010-02-01 03:21:56
252	Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-03-10 14:01:25
253	A Decision Tree Framework for Spatiotemporal Sequence Prediction Taehwan Kim Yisong Yue Add to Reading List Source URL: www.yisongyue.com Language: English - Date: 2015-06-03 14:15:40 Machine learning Conditional random field Structured prediction Hidden Markov model Artificial neural network Dynamic programming Decision tree learning Pattern recognition Recursion Supervised learning
254	Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs Naoki Kobayashi Tohoku University Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2011-08-11 06:08:26
255	PDF Document Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-10-08 20:20:43 Search algorithms Data types Procedural programming languages Arrays Hash table Ur Doubly linked list Const Linked list Recursion Hash function Null
256	Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-01-17 04:22:03 Category theory Mathematics Theoretical computer science Software engineering Functional programming Computer programming Recursion F-coalgebra Coinduction Coalgebra Corecursion First-order logic
257	Termination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump Vilhelm Sj¨oberg Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-03-10 14:01:25
258	888: LLVM Week 3 - LLVM-IR II Tobias Grosser Exerciselast week Add to Reading List Source URL: grosser.es Language: English - Date: 2015-08-09 09:46:18 Software engineering Computer programming Software Compilers LLVM Subroutines Fibonacci number Recursion Euclidean algorithm Clang Intel
259	Pumping by Typing Naoki Kobayashi The University of Tokyo Abstract—Higher-order recursion schemes (HORS), which are higher-order grammars for generating infinite trees, have recently Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2013-08-01 05:19:20
260	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe

UPDATE