Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
951	On the Power of Belief Propagation: A Constraint Propagation Perspective Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2010-10-24 15:09:42 H42 Mathematics Discrete mathematics Belief propagation Coding theory Probability theory
952	An Empirical Study of Some Feature Matching Strategies ´ Etienne Vincent and Robert Lagani`ere School of Information Technology and Engineering University of Ottawa, Ottawa, Canada, K1N 6N5 Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2012-06-04 14:31:24 Database index Symmetry Computer vision Artificial intelligence Data management Constraint programming Computing Virtual Network Computing Epipolar geometry Fundamental matrix
953	Principles of Constraint Programming Krzysztof R. Apt Chapter 2 Constraint Satisfaction Problems: Examples Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-01-19 03:21:17 Linguistics Local consistency Constraint programming Constraint satisfaction Zebra Puzzle
954	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
955	Principles of Constraint Programming Krzysztof R. Apt Chapter 4 Some Complete Constraint Solvers Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-10-03 21:20:16 Constraint logic programming Logic programming Constraint programming Integral calculus Differentiation rules
956	Constraints of Difference and Equality: A Complete Taxonomic Characterisation? Emmanuel Hebrard1 , D´ aniel Marx2 , Barry O’Sullivan1 , and Igor Razgon1 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Computing Local consistency Constraint satisfaction Mathematical optimization Decomposition method AC-3 algorithm Constraint programming Software engineering Computer programming
957	Adaptive Control for Parametric Output Feedback Systems with Output Constraint Add to Reading List Source URL: www1.i2r.a-star.edu.sg Language: English - Date: 2009-12-22 06:42:49 Nonlinear control Backstepping
958	Microsoft PowerPoint - Slides On The Feasibility.ppt [Read-Only] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Information Parallel computing Consistency model Local consistency Self-stabilization Communications protocol Constraint programming Computing Data
959	Journal of Global Optimization Rigorous verification of feasibility --Manuscript Draft-Manuscript Number: Full Title: Rigorous verification of feasibility Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-09-18 13:51:42 Operations research Mathematical analysis Constraint Relaxation Local consistency Exponentiation Interval arithmetic Linear programming Quadratic programming Mathematical optimization Mathematics Constraint programming
960	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-29 03:59:19 Constraint programming Logic in computer science Automated theorem proving Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Uninterpreted function Decision problem Theoretical computer science Mathematics Applied mathematics