Modeling language - PDFSEARCH.IO - Document Search Engine

Modeling language
Results: 3143

#	Item
1	Alloy Modeling Language meets SMT-LIB Forrest Cinelli, Kyle McCormick, Dan Dougherty WPI NSF Supportand Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematical logic Theoretical computer science Formal methods Constraint programming Alloy Massachusetts Institute of Technology Z notation Predicate logic SMT Predicate Constraint satisfaction problem Satisfiability modulo theories
2	Modelica - A Unified Object-Oriented Language for Physical Systems Modeling Version 3.2 Revision 2 Add to Reading List Source URL: www.modelica.org Language: English - Date: 2017-11-09 12:12:33
3	CLUF: a Neural Model for Second Language Acquisition Modeling Shuyao Xu Singsound Inc. Beijing, China Add to Reading List Source URL: sharedtask.duolingo.com Language: English - Date: 2018-05-31 10:40:16
4	Inflectional Language Modeling with Random Forests for ASR Ilya Oparin Dept. of Computer Science and Ingineering, University of West Bohemia, Plzeˇn, Czech Republic, Speech Technology Center, St.Petersburg, Russia Add to Reading List Source URL: www.speech.kth.se Language: English
5	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling TUTORIAL and RATIONALE Version 1.1 December 15, 1998 H. Elmqvist1, Add to Reading List Source URL: www.modelica.org Language: English - Date: 2010-10-22 20:29:58
6	Modelica - A Unified Object-Oriented Language for Systems Modeling Version 3.3 Add to Reading List Source URL: www.modelica.org Language: English - Date: 2017-05-15 05:39:48
7	D16.1v0.2 The Web Service Modeling Language WSML WSML Final Draft 20 March 2005 Final version http://www.wsmo.org/TR/d16/d16.1/v0Latest version http://www.wsmo.org/TR/d16/d16.1/v0.2/ Add to Reading List Source URL: www.wsmo.org Language: English - Date: 2006-03-24 10:43:08
8	Formalizing and Modeling Enterprise Architecture (EA) Principles with Goal-oriented Requirements Language (GRL) Diana Marosin1,2 , Marc van Zee3 , Sepideh Ghanavati2 1 Add to Reading List Source URL: www.marcvanzee.nl Language: English - Date: 2016-03-21 06:18:47
9	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling Tutorial Version 1.4 December 15, 2000 Add to Reading List Source URL: www.modelica.org Language: English - Date: 2010-10-22 20:30:14
10	Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract Add to Reading List Source URL: www.modelica.org Language: English - Date: 2017-05-31 07:46:14