Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
321	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq
322	COMPLIES (or NA) ELEMENT PLATFORM LIFTS WHERE Add to Reading List Source URL: oae.uic.edu Language: English - Date: 2016-07-28 15:55:30 Wheelchair lift Accessibility Elevator Constraint Floor
323	Microsoft Word - NEW02.docx Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2013-08-28 14:35:05 Operations research Mathematical optimization Integer programming Linear programming Feasible region Constraint
324	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 06:10:17 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency
325	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
326	Orthophoto information English version – SOSI standard 4.0 Orthophoto information English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:36 Constraint Mathematical optimization
327	HamleDT: To Parse or Not to Parse? Daniel Zeman, David Mareček, Martin Popel, Loganathan Ramasamy, Jan Štěpánek, Zdeněk Žabokrtský, Jan Hajič Charles University in Prague, Faculty of Mathematics and Physics, Malo Add to Reading List Source URL: www.lrec-conf.org Language: English - Date: 2012-05-16 13:57:14 Computational linguistics Corpus linguistics Semantics Applied linguistics Syntax Treebank Dependency grammar Functional generative description Constraint Grammar Jan Haji Part-of-speech tagging International Corpus of English
328	Interactive Design Exploration for Constrained Meshes Bailin Deng∗, Sofien Bouaziz, Mario Deuss, Alexandre Kaspar, Yuliy Schwartzburg, Mark Pauly Computer Graphics and Geometry Laboratory, EPFL, CH-1015 Lausanne, Switz Add to Reading List Source URL: lgg.epfl.ch Language: English - Date: 2015-02-23 04:31:22 Mathematical optimization Shape optimization Constraint Constrained optimization Feasible region Optimization problem Lagrange multiplier Penalty method
329	1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Constraint satisfaction problem Constraint satisfaction Backtracking Multi-agent system Local consistency Interchangeability algorithm
330	Popular Matching: A Constraint Programming Approach Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry O’Sullivan Insight Centre for Data Analytics, University College Cork, Ireland ∗ {sorina.chisca, mohamed. Add to Reading List Source URL: womencourage.acm.org Language: English Matching Bipartite graph Stable marriage problem HopcroftKarp algorithm

UPDATE