Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
241	Land concolidation planning English version – SOSI standard 4.0 Land concolidation planning English version – SOSI standard 4.0 Land concolidation planning English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:33 Data management Computing Constraint Mathematical optimization Foreign key Data type C++ classes Information retrieval
242	Locally-biased graph algorithms are algorithms that attempt to find local or small-scale structure in a typically large data graph. In some cases, this can be accomplished by adding some sort of locality constraint and c Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Graph theory Mathematics Discrete mathematics Graph Complement graph Algorithm Planar graphs Book:Graph Theory
243	Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Theoretical computer science Computational complexity theory Mathematics Constraint programming NP-complete problems Boolean algebra Parameterized complexity Boolean satisfiability problem Constraint satisfaction problem Exponential time hypothesis Treewidth Tree decomposition
244	AN LP RELAXATION PROCEDURE FOR ANNOTATING POINT FEATURES USING INTERACTIVE GRAPHICS Robert G. Cromley University of Connecticut Storrs, CTABSTRACT Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:58:50 Mathematical optimization Mathematics Mathematical analysis Operations research Convex optimization Linear programming Combinatorial optimization Automatic label placement Constraint Linear programming relaxation Relaxation Candidate solution
245	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
246	Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2011-05-01 16:39:57 Topology Knowledge representation Mathematics Cognition Computational topology Constraint programming Reasoning Region connection calculus Topological space Spatial relation Framing Topological conjugacy
247	Constraint Satisfaction with Counting Quantifiers⋆ Florent Madelaine1 , Barnaby Martin2⋆⋆ and Juraj Stacho3⋆ ⋆ ⋆ 2 Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2012-03-15 13:21:54 Computational complexity theory Logic Complexity classes Abstraction Metalogic Predicate logic Finite model theory IP FO Quantifier PSPACE-complete Model theory
248	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
249	A Constraint Grammar Parser for Spanish Eckhard Bick Institute of Language and Communication, University of Southern Denmark Abstract. In this paper we describe and eval Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2006-12-05 02:38:46 Linguistics Syntax Grammar Computational linguistics Semantics Compiler construction Corpus linguistics Constraint Grammar Morphology Lexicon Parsing Dependency grammar

UPDATE