Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
741	Object Constraint Language (OCL): A Definitive Guide Jordi Cabot1 and Martin Gogolla2 1 ´ Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2013-01-09 10:54:10 ISO standards Data management Object-oriented programming Data types Type theory Object Constraint Language ECO EXPRESS Domain-specific language Software engineering Computing Unified Modeling Language
742	In: ICDAR-95 (Intl. Conf. on Document Analysis & Recognition), ppMontreal, Canada, 1995. Efficient Analysis of Complex Diagrams using Constraint-Based Parsing1,2 Robert P. Futrelle and Nikos Nikolakis Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2002-11-16 09:11:42 Parsing Geometry Top-down parsing LL parser Diagram Cartesian coordinate system Formal grammar CYK algorithm Formal languages Mathematics Compiler construction
743	SOGgy Constraints: Soft Open Global Constraints Michael J. Maher NICTA? and University of NSW Sydney, Australia Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2009-06-18 05:17:46 Computing Local consistency Constraint algorithm Decomposition method Constraint satisfaction Constraint programming Software engineering Computer programming
744	Online Make-to-Order Joint Replenishment Model: Primal Dual Competitive Algorithms N. Buchbinder∗ T. Kimbrel† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:32 Linear programming Theoretical computer science Algorithm Mathematical optimization Constraint algorithm Decomposition method Operations research Mathematics Applied mathematics
745	Beating the random assignment on constraint satisfaction problems of bounded degree Boaz Barak∗ arXiv:1505.03424v1 [cs.CC] 13 May 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-05-13 20:27:45 Mathematics MAX-3SAT Constraint satisfaction problem 2-satisfiability Constraint satisfaction Decomposition method Local consistency Constraint programming Theoretical computer science Applied mathematics
746	Marshall Plan Scholarship Report Incorporation of the Superiorization Methodology into Biomedical Imaging Software submitted by: Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2015-02-10 09:27:41 Mathematics Constraint optimization Penalty method Algorithm Iterative reconstruction Science Multidisciplinary design optimization Global optimization Mathematical optimization Operations research Applied mathematics
747 $Applied mathematics / Linear programming / Convex optimization / Combinatorial optimization / Duality / Simplex algorithm / Assignment problem / Constraint / Linear-fractional programming / Mathematical optimization / Operations research / Mathematics$	LINEAR PROGRAMMING A Concise Introduction Thomas S. Ferguson Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www.usna.edu Language: English - Date: 2009-01-22 13:46:48 Applied mathematics Linear programming Convex optimization Combinatorial optimization Duality Simplex algorithm Assignment problem Constraint Linear-fractional programming Mathematical optimization Operations research Mathematics
748	Near-Optimal Algorithms for Maximum Constraint Satisfaction Problems Moses Charikar∗ Konstantin Makarychev∗† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:07 Operations research NP-complete problems Linear programming Real algebraic geometry Semidefinite programming 2-satisfiability Mathematical optimization Constraint satisfaction problem Constraint satisfaction Theoretical computer science Applied mathematics Computational complexity theory
749	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
750	Caregiver Stress and Depression Add to Reading List Source URL: www.rorc.research.va.gov Language: English - Date: 2014-12-10 15:45:34 Animal testing Constraint-induced movement therapy Hemiplegia Spasticity Botulinum toxin Mirror box Botulism Stroke recovery Medicine Health Stroke

UPDATE