Model-based definition - PDFSEARCH.IO - Document Search Engine

Model-based definition
Results: 47

#	Item
1	Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Model checkers Computing Theoretical computer science Software engineering Formal methods Promela SPIN model checker Model checking Guard Certificate Formal verification Printf format string
2	New Rate Distortion Bounds for Natural Videos Based on a Texture Dependent Correlation Model in the Spatial-Temporal Domain Jing Hu and Jerry D. Gibson Department of Electrical and Computer Engineering University of Cali Add to Reading List Source URL: vivonets.ece.ucsb.edu Language: English - Date: 2008-11-19 20:47:40 Video Covariance and correlation Video compression Digital media Media technology High-definition television ISO standards Data compression Correlation and dependence Inter frame Correlation function Ratedistortion theory
3	Development & Alumni Relations Crowdfunding Pilot Policy Definition and Background Crowdfunding: A distributed model of fundraising based on principles of micro financing through online platforms. Add to Reading List Source URL: giving.ucdavis.edu Language: English - Date: 2016-07-28 18:53:59 Economy Public finance Finance Collaborative finance Crowdfunding Entrepreneurship Financial technology Comparison of crowdfunding services University of California Davis Indiegogo Funding University and college crowdfunding platforms
4	DESIGN AND IMPLEMENTATION OF MICROCOMPUTER BASED WATER RESOURCES DECISION SUPPORT SYSTEMS Marc P. Armstrong Departments of Geography and Computer Science 316 Jessup Hall Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:25:32 Decision theory Information systems Knowledge engineering Decision support system Database Data model Data definition language Network model William D. Haseman Outline of databases
5	Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems Christian Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourn Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:39 Multi-agent systems Causality Automated planning and scheduling Planning Domain Definition Language Determinism Agent-based model Planning
6	New Block-Based Local-Texture-Dependent Correlation Model of Digitized Natural Video Jing Hu and Jerry D. Gibson Department of Electrical and Computer Engineering University of California, Santa Barbara, California 93106 Add to Reading List Source URL: vivonets.ece.ucsb.edu Language: English - Date: 2007-01-16 20:17:42 Video compression Covariance and correlation Image compression High-definition television ISO standards Correlation and dependence H.264/MPEG-4 AVC Ratedistortion theory Correlation function Macroblock Motion compensation AVC-Intra
7	New Rate Distortion Bounds for Natural Videos Based on a Texture Dependent Correlation Model Jing Hu Digital Signal Processing Group Cisco Systems Add to Reading List Source URL: vivonets.ece.ucsb.edu Language: English - Date: 2009-03-17 22:29:55 ISO standards Covariance and correlation Information theory Video compression High-definition television Correlation and dependence Inter frame Ratedistortion theory Video quality JPEG H.264/MPEG-4 AVC Correlation function
8	APPENDIX E-1: APPLICATION INTERFACE DEFINITION LANGAUGE PLATFORM INDEPENDENT MODEL PROFILES Add to Reading List Source URL: jtnc.mil Language: English - Date: 2015-05-16 06:47:33 Object-oriented programming Inter-process communication Enterprise application integration CORBA Common Object Request Broker Architecture IDL Software Communications Architecture Interface description language Service-oriented architecture Software engineering Computing Component-based software engineering
9	Martha Holden Jennings Foundation Characteristics of Deep Learning Definition Exam ples Add to Reading List Source URL: www.mhjf.org Language: English - Date: 2011-11-02 13:06:48 Mind Learning Critical thinking Model-centered instruction Problem-based learning Education Educational psychology Knowledge
10	New Release of Anark Core™ Debuts at GPDIS Publish "Fit for Purpose" Model-Based Engineering Release Documents From Multiple CAD and PDM/PLM Systems Boulder, CO – September 8th, 2014: Anark Corporation, leading provi Add to Reading List Source URL: www.anark.com Language: English - Date: 2014-09-08 16:08:36 Dassault Systèmes CATIA Teamcenter SolidWorks Product and manufacturing information NX Creo Computer-aided design Model-based definition Information technology management Product lifecycle management Application software