Constraint

Results: 2322



#Item
931Software engineering / Constraint satisfaction / Cassowary / Sudoku / Backtracking / Kaleidoscope / Satisfiability Modulo Theories / Sudoku algorithms / Mathematics of Sudoku / Constraint programming / Theoretical computer science / Mathematics

Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using

Add to Reading List

Source URL: www.hpi.uni-potsdam.de

Language: English - Date: 2015-05-08 07:57:20
932Building engineering / HVAC / Collection / Humidity / Energy industry / Air conditioning / Thermodynamics / Engineering / Technology / Building biology / Museology

Museum Environmental Conditions in an Era of Energy Constraint Nicholas Serota – Paper to the Bizot Group Meeting May 2008 Museums, art galleries and exhibitions have seen enormous growth in recent years and cultural i

Add to Reading List

Source URL: www.nationalmuseums.org.uk

Language: English - Date: 2010-04-17 06:32:14
933Electric power transmission systems / Sales / Electricity Trust of South Australia / South Australia / ETSA Utilities / Electranet / Adelaide / Electrical grid / Electricity market / Electric power / Electric power distribution / States and territories of Australia

REQUEST FOR INFORMATION / REQUEST FOR PROPOSALS ElectraNet reference: Request for Information RFIETSA Utilities reference: Request for Proposals RFPProjected Transmission Network Constraint: Electricity S

Add to Reading List

Source URL: www.electranet.com.au

Language: English - Date: 2013-04-09 00:48:18
934Operations research / Constraint programming / Convex optimization / Linear programming / Constraint satisfaction / Shortest path problem / Automated planning and scheduling / Mathematical optimization / Planning Domain Definition Language / Mathematics / Applied mathematics / Theoretical computer science

Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling Amanda Coles, Andrew Coles, Maria Fox and Derek Long Department of Computer and Information Sciences, University of Strathclyde, Glasgow, G

Add to Reading List

Source URL: www.cis.strath.ac.uk

Language: English - Date: 2009-09-29 10:17:17
935Network flow / Directed graph / Local consistency / Graph / Flow network / Multigraph / Tree / Boolean algebra / Topological sorting / Graph theory / Constraint programming / Directed acyclic graph

Interval Analysis on Directed Acyclic Graphs for Global Optimization Hermann Schichl and Arnold Neumaier Institut f¨ ur Mathematik, Universit¨at Wien Strudlhofgasse 4, A-1090 Wien, Austria

Add to Reading List

Source URL: www.mat.univie.ac.at

Language: English - Date: 2003-12-05 12:03:46
936Applied mathematics / Numerical analysis / Nursing / Local search / Simulated annealing / Tabu search / Memetic algorithm / Linear programming / Heuristic function / Operations research / Constraint programming / Mathematical optimization

Hybrid Heuristics for Multimodal Homecare Scheduling Andrea Rendl1 , Matthias Prandtstetter1 Gerhard Hiermann2 , Jakob Puchinger1 , and G¨ unther Raidl2 1

Add to Reading List

Source URL: andrearendl.com

Language: English - Date: 2013-08-29 08:24:21
937Weather prediction / Data assimilation / Estimation theory / Statistical forecasting / MOPITT / Science / Statistics / Meteorology / Control theory

Assimilating MOPITT CO Observations in GEOS-CHEM using a Weak Constraint 4D-Var algorithm Martin Keller (1), Dylan B. Jones (1), Daven Henze (2), Zhe Jiang): University of Toronto (2): University of Colorado at Bo

Add to Reading List

Source URL: ee.nmt.edu

Language: English - Date: 2012-04-29 18:02:55
938Wh-movement / Relative clause / Sentence processing / Subject / Theta role / Preposition and postposition / Complementizer / Rewrite rule / Natural language processing / Linguistics / Syntax / Grammar

Processing Complexity in Subjacency Violations: The Complex Noun Phrase Constraint∗ Ivan A. Sag, Philip Hofmeister and Neal Snider Stanford University We may make an intuitive judgment that some linguistic expression i

Add to Reading List

Source URL: lingo.stanford.edu

Language: English - Date: 2007-09-15 18:31:06
939Decision trees / Constraint programming / Boolean algebra / Binary tree / Decision tree learning / Constraint satisfaction / Decision tree model / Boolean satisfiability problem / B-tree / Theoretical computer science / Mathematics / Applied mathematics

Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2010-11-22 06:22:30
940Applied mathematics / Lagrange multiplier / Quadratic programming / Constraint / Karush–Kuhn–Tucker conditions / Linear programming / Local consistency / Relaxation / Duality / Mathematical optimization / Mathematical analysis / Mathematics

Mathematical Programming SERIES A and B Constraint aggregation for rigorous global optimization --Manuscript Draft-Manuscript Number: MAPR-D-14-00182R2

Add to Reading List

Source URL: www.mat.univie.ac.at

Language: English - Date: 2014-12-02 11:46:26
UPDATE