Recursion - PDFSEARCH.IO - Document Search Engine

Recursion
Results: 895

#	Item
31	In Proceedings of the 14th Annual Conference of the Cognitive Science Society ( pIndiana University, Indiana: Cognitive Science Society, July/AugustThe (Non)Necessity of Recursion in Natural Language Add to Reading List Source URL: cnl.psych.cornell.edu - Date: 2002-07-15 10:41:51
32	Synchronization Analyses for Multiple Recursion Parameters Wei-Ngan CHIN and Siau-Cheng KHOO Dept of Info. Systems & Computer Sc. National University of Singapore Singapore Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:04:37
33	CHAPTER 5. RECURSION AND RECURRENCES Add to Reading List Source URL: math.dartmouth.edu - Date: 2008-05-31 12:24:07
34	Learning Recursion: Multiple Nested and Crossed Dependencies Add to Reading List Source URL: cnl.psych.cornell.edu Language: English - Date: 2011-07-27 21:35:46 Linguistics Cognitive science Language Computational linguistics Grammar Language acquisition Speech recognition Dependency grammar Artificial grammar learning Implicit learning Pirah language Linguistic competence
35	Prajna: Cloud Service and Interactive Big Data Analytics (Distributed Platform Building Leverage Functional Programming) Jin Li, Sanjeev Mehrotra and Weirong Zhu Microsoft One Microsoft Way, Bld. 99, Redmond, WA, USA {ji Add to Reading List Source URL: msrccs.github.io Language: English - Date: 2015-12-23 17:23:59 Computing Software engineering Computer programming Higher-order functions Programming language comparisons Parallel computing Apache Software Foundation Fold Recursion Apache Spark MapReduce Map
36	Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3 Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Computer programming Software engineering Computing Theoretical computer science Programming idioms Algorithms Computability theory Mathematical logic Recursion Programming paradigm Subroutine Iteration
37	CSE 181 Project guidelines Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2012-10-16 07:22:21 Computer programming Mathematics Applied mathematics Theoretical computer science Sorting algorithms Operations research Analysis of algorithms Merge sort Divide and conquer algorithms Algorithm Recursion Time complexity
38	Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold FO Haskell features Standard ML
39	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
40	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode