Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
821	Super Solutions Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:08:57 Constraint satisfaction Computing Mathematical optimization Polynomial Constraint Constraint logic programming Constraint programming Software engineering Computer programming
822	The GEHR Object Model Architecture Rev 4.1 draft E The GEHR Object Model Architecture Authors: Thomas Beale Revision: 4.1 draft E Add to Reading List Source URL: www.openehr.org Language: English - Date: 2015-05-28 09:28:24 Unified Modeling Language ISO standards Diagrams Knowledge representation Eiffel Archetype Beale Object Constraint Language XML Computing Software engineering Object-oriented programming
823	Principles of AI Problem Solving Tutorial IJCAI-05 Adnan Darwiche (UCLA, Los Angeles) Rina Dechter (UCI, Irvine) H. Geffner (UPF, Barcelona) Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:27 Dynamic programming Markov processes Stochastic control Constraint programming Constraint satisfaction problem Actor model Problem solving Constraint satisfaction STRIPS Statistics Artificial intelligence Automated planning and scheduling
824	COMPSCI 276 Homework Assignment 5 Fall 2014 Instructor: Rina Dechter Due:Monday, November 17th Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2014-11-07 17:37:34 Decomposition method Directed acyclic graph Bayesian network Hybrid algorithm Constraint programming Graph theory Theoretical computer science
825	Soft Car Sequencing With Colors: Lower Bounds and Optimality Proofs Thierry Benoist Bouygues e-lab, 32 av. Hoche, 75008 Paris, France Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2008-07-09 00:56:05 Euclidean plane geometry Golden ratio Linear programming Numbers Mathematical analysis Convex optimization Mathematics Constraint programming
826	A Constraint Model for the Settlers Planning Domain Peter Gregory Andrea Rendl University of Strathclyde Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:47 Applied mathematics Constraint satisfaction Minion Linear programming Constraint algorithm Labour economics Constraint programming Software engineering Computer programming
827	Solving Linear Arithmetic Constraints for User Interface Applications Alan Borning and Kim Marriott Department of Computer Science Monash University Clayton, Victoria 3168, AUSTRALIA Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2014-05-20 21:24:10 Numerical analysis Mathematics Simplex algorithm Constraint optimization Linear programming Quadratic programming Constraint Slack variable Active set Mathematical optimization Constraint programming Operations research
828	REASONING ABOUT SECURE INTEROPERATION USING SOFT CONSTRAINTS Stefano Bistarelli1,2 , Simon N. Foley3 , Barry O’Sullivan3,4 1 Istituto di Informatica e Telematica, CNR, Pisa, Italy, Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-10-08 09:08:21 Access control Ring theory Semiring Constraint satisfaction Interoperation Constraint programming Ring Computing Security Software engineering
829	Advances in Combinatorial Op4miza4on Tasks over Graphical Models Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-29 16:16:40 Theoretical computer science Bayesian statistics Statistical models Applied mathematics Probability and statistics Markov random field Bayesian network Mathematical optimization Constraint satisfaction problem Graphical models Networks Statistics
830	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering

UPDATE