Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Instance generation"”.
-
Automated Metamodel Instance Generation Satisfying Quantitative Constraints
… has one big drawback: it does not support instance generation. Instances are particularly important for software modelers and language designers to test or verify their metamodels. Unfortunately, automatically generating metamodel instances is a very challenging task. Furthermore, the …
-
Machine learning for structural reasoning in Boolean Satisfiability
… counting prediction, feature extraction and instance generation. The contributions of this research are varied. First, by leveraging a diverse array of features and representations, we develop machine learning algorithms for SAT/UNSAT classification, problem categorization, and approximate …
-
A DSL for defining instance templates for the ASMIG system
The area of our work is test data generation via automatic instantiation of software models. Model instantiation or model finding is a process of finding instances of software models. For example, if a model is represented as a UML class diagram, the instances of this model are UML object diagrams. …
-
New Theory and New Practical Methods for Solving Large-Scale Linear and Conic Optimization
… for PDHG for solving LP problems based on two instance-dependent natural geometric condition measures, namely the "limiting error ratio" and the "LP sharpness." The connection between these condition measures and other LP condition numbers is also developed. Chapter 3 presents computational …