Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
321	THE HIPPOCAMPAL SYSTEM AS THE MANAGER OF NEOCORTICAL DECLARATIVE MEMORY RESOURCES L. ANDR EW COWAR D Department of Computer Science, Australian National University, ACT 0200, Australia A model is described in which the h Add to Reading List Source URL: cs.anu.edu.au Language: English - Date: 2009-05-12 02:38:56 Nervous system Cerebrum Limbic system Entorhinal cortex Perirhinal cortex Hippocampus Dentate gyrus Receptive field Cerebral cortex Brain Anatomy Neuroanatomy
322	Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-28 16:44:23 Mathematics Backtracking DPLL algorithm Bayesian network Tree decomposition Constraint optimization Algorithm Decomposition method Local consistency Constraint programming Declarative programming Graph theory
323	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
324	Babelsberg: Specifying and Solving Constraints on Object Behavior Tim Felgentreff, Alan Borning, Robert Hirschfeld Technische Berichte Nr. 81 Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:17 Computer programming Computing Declarative programming Constraint satisfaction University of Potsdam Constraint Constraint programming Software engineering Programming paradigms
325	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
326	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Programming paradigms Declarative programming Alloy SQL Imperative programming C Programming language Abstraction Constraint satisfaction Computing Software engineering Computer programming
327	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
328	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:18 Computing Constraint satisfaction Constraint logic programming Kaleidoscope Cassowary Mathematical optimization Declarative programming Quadratic programming Constraint inference Constraint programming Software engineering Computer programming
329	 7  -      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:19 Functional programming Functions and mappings Lambda calculus Subroutines Higher-order functions Currying Function Anonymous function Derivative Software engineering Declarative programming Mathematics
330	Sleep & Memory/Review Memory reactivation and consolidation during sleep Ken A. Paller1 and Joel L. Voss Institute for Neuroscience and Department of Psychology, Northwestern University, Evanston, Illinois, U Add to Reading List Source URL: faculty.wcas.northwestern.edu Language: English - Date: 2004-12-06 10:01:29 Mental processes Dreaming Neurophysiology Neuroscience Sleep Rapid eye movement sleep Sleep and memory Declarative memory Non-rapid eye movement sleep Mind Biology Cognitive science

UPDATE