Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
341	Fundamenta Informaticaei–ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-11-05 06:10:40 Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization
342	A Short SVM (Support Vector Machine) Tutorial j.p.lewis CGIT Lab / IMSC U. Southern California version 0.zz dec 2004 Add to Reading List Source URL: scribblethink.org Language: English - Date: 2008-03-24 23:35:11 Mathematical optimization Statistical classification Support vector machine KarushKuhnTucker conditions Lagrange multiplier Duality Linear classifier Hyperplane Constraint Supporting hyperplane Vector space Decision boundary
343	Translating the Swedish Wikipedia into Danish Eckhard Bick University of Southern Denmark Rugbjergvej 98, DK 8260 Viby J Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:37:00 Machine translation Apertium Rule-based machine translation Constraint Grammar Parsing Eckhard Bick Statistical machine translation BLEU GramTrans Translation
344	Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2010) Add to Reading List Source URL: gres.uoc.edu Language: English - Date: 2011-06-14 18:01:44 Unified Modeling Language Object Constraint Language ECO Acceleo Eclipse Domain-specific language Tern Use case Model-driven architecture
345	3.5. Distribution of Bemisia tabaci in Latin America Objectives Whitefly- transmitted geminiviruses are the most important constraint to common bean and Add to Reading List Source URL: gisweb.ciat.cgiar.org Language: English - Date: 2003-10-06 09:37:27 Climate Agricultural pest insects Silverleaf whitefly Whiteflies Subtropics Mediterranean climate Rain Season Cassava mosaic virus
346	Road situation English version – SOSI standard 4.0 Road situation English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:39
347	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
348	KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Constraint programming Abstract interpretation Symbolic execution Constraint satisfaction problem Paul Klee
349	Experimenting with Multi-Level Models in a Two-Level Modeling Tool Martin Gogolla Database Systems Group, University of Bremen, Germany Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-10-23 02:48:02 Unified Modeling Language ISO standards Object Constraint Language Metamodeling Object Process Methodology Metaclass ECO Class Conceptual model Powertype Kermeta Executable UML
350	Electronic Communications of the EASST VolumeProceedings of the Workshop on OCL and Textual Modelling (OCL 2010) Add to Reading List Source URL: gres.uoc.edu Language: English - Date: 2011-06-14 18:01:44 ISO standards Unified Modeling Language Object Constraint Language ECO Eclipse Diagram OCL Class diagram Conceptual model Object diagram

UPDATE