<--- Back to Details
First PageDocument Content
Ethology / Technology readiness level / Technology transfer / Government procurement in the United States / Reliability engineering / Software development process / Best practice / Research and development / Quality assurance / Technology / Science / Systems engineering
Date: 2004-02-03 12:52:22
Ethology
Technology readiness level
Technology transfer
Government procurement in the United States
Reliability engineering
Software development process
Best practice
Research and development
Quality assurance
Technology
Science
Systems engineering

B EST PRACTICES USING A KNOWLEDGE-BASED APPROACH TO IMPROVE

Add to Reading List

Source URL: www.gao.gov

Download Document from Source Website

File Size: 291,56 KB

Share Document on Facebook

Similar Documents

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

DocID: 1xVEM - View Document

Markov processes / Game theory / Strategy / Stochastic game / Markov decision process / Probability and statistics / Probability / Computability theory

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

DocID: 1xUZA - View Document

Music / Computer music / Learning / Artificial intelligence / Unsupervised learning / Machine learning / Cognitive science / Generative adversarial network / Generative model / Artificial neural network / Synthesizer / Algorithmic composition

Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s

DocID: 1xUni - View Document

Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

DocID: 1xTqe - View Document