Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
331	Arborest – a Growing Treebank of Estonian by Eckhard Bick Institute of Language and Communication University of Southern Denmark Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2004-11-17 05:48:47 Syntactic categories Grammar Semantics Syntax Clause Constraint Grammar Noun phrase Verb phrase Dependency grammar Phrase Treebank Grammatical relation
332	Reservoir computing and the Sooner-is-Better bottleneck Commentary on: Christiansen & Chater, “The now-or-never bottleneck: a fundamental constraint on language”, to appear in Behavioral and Brain Sciences. © Cambri Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2015-10-13 03:34:32 Artificial neural networks Computational neuroscience Computational statistics Neural networks Mathematical psychology Biological neural network Reservoir computing Input Cognitive model Recurrent neural network
333	A Constraint Solver for PHP Arrays Ivan Enderlin1 , Alain Giorgetti, Fabrice Bouquet March 22th, 2013 CSTVA, Luxembourg Add to Reading List Source URL: keynote.hoa-project.net Language: English - Date: 2013-12-16 18:13:31 Scripting languages PHP Data types Mathematical modeling Object-oriented programming languages Constraint programming AMPL Array data type Praspel Array data structure Associative array
334	Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:58 Programming paradigms Abductive logic programming Linear temporal logic Model checking Formal verification NuSMV Constraint programming Temporal logic Declarative programming Prolog Logic programming Entityrelationship model
335	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
336	Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach Angelo Oddi1 , Riccardo Rasconi1 , Amedeo Cesta1 , and Stephen F. Smith2 1 Institute of Cognitive Scienc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-30 21:51:52 Operations research Edsger W. Dijkstra Constraint satisfaction Mathematical optimization Scheduling Heuristic Shortest path problem Local search
337	Harmonic Grammar Modifying constraints and representations Conclusion Add to Reading List Source URL: linguistics.concordia.ca Language: English Phonology Optimality theory Harmonic Grammar Markedness Constraint Mathematical optimization
338	Multi-area control of overlapping areas in power systems for FACTS control Gabriela Hug-Glanzmann∗ , Rudy Negenborn+ , G¨oran Andersson∗ , Bart De Schutter+,o , Hans Hellendoorn+ ∗ + Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2008-11-28 06:49:31 Constraint programming Mathematical optimization Electric power Operations research Power engineering Power-flow study Decomposition method Constrained optimization Economic model Bus
339	Constraint Grammar Work L445 / L545 / B659 Spring 2016 Main documentation Other than the Karlssonpaper to introduce the constraint grammar Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-03-01 15:16:15 Markup languages Technical communication HTML Standard Generalized Markup Language Constraint Grammar HTML element Tag Functional theories of grammar SCRIPT
340	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem

UPDATE