Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
941	Finding Most Likely Haplotypes in General Pedigrees through Parallel Branch and Bound Search Rina Dechter, University of California Irvine Joint work with Lars Otten Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2013-01-24 16:54:54 Logic programming Constraint programming Mathematics Computing Mathematical optimization Operations research Algorithm
942	EMMANUEL HEBRARD contact email: · website: http://homepages.laas.fr/ehebrard current and past positions 2010–Present Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-03-27 08:56:53 Computing Constraint satisfaction Comet CNES Local consistency Constraint programming Software engineering Computer programming
943	c , , 1–20 () Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Fourier Elimination for Compiling Constraint Hierarchies Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2002-07-01 13:23:24 Computing Constraint satisfaction Constraint inference Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
944	Planning in Dynamic Worlds: More Than External Events Alexander Nareyek and Tuomas Sandholm Computer Science Department Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA, USA , sa Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 14:06:02 Computer programming Constraint graph Automated planning and scheduling Representational state transfer Constraint programming Software engineering Computing
945	Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2009-01-15 06:59:38 Mathematics Local consistency Constraint satisfaction Constraint optimization Quadratic programming Mathematical optimization Quadratic equation Interval arithmetic Constraint programming Software engineering Computer programming
946	CSP- and SAT-based Inference Techniques Applied to Gnomine Bachelor Thesis Faculty of Science, University of Basel Department of Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Artificial intelligence Local consistency Constraint satisfaction Constraint Constraint logic programming Decomposition method Constraint programming Software engineering Computer programming
947	The TOPCASED project a Toolkit in OPen source for Critical Applications & SystEms Design ∗ Marc Pantel Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2007-06-19 10:22:01 Object Constraint Language Meta-Object Facility Denotational semantics Metamodeling Kermeta Model-driven architecture Petri net ECO ATLAS Transformation Language Unified Modeling Language Software engineering Software
948	The Tractability of Global Constraints Christian Bessiere , Emmanuel Hebrard , Brahim Hnich , and Toby Walsh Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Constraint satisfaction problem Constraint satisfaction NP-complete NP Computer science Constraint programming Computing Local consistency
949	PostgreSQL Reference Manual Volume 1: SQL Language Reference for versionJuneThe PostgreSQL Global Development Group Add to Reading List Source URL: www.network-theory.co.uk Language: English - Date: 2010-12-16 14:38:19 Relational database management systems Databases Query languages Cross-platform software PostgreSQL Data Definition Language Null Database trigger Check Constraint Data management Computing SQL
950	Proc. 2nd Intern. Joint Conf. on Autonomous Agent and Multiagent Systems (AAMAS-03), to appear. An Analysis and Application of Distributed Constraint Satisfaction and Optimization Algorithms in Sensor Networks Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2003-04-05 10:56:04 Applied mathematics Constraint satisfaction problem Graph coloring Constraint satisfaction Wireless sensor network Distributed computing Local search Constraint optimization Algorithm Constraint programming Mathematics Theoretical computer science