Search
Search Results
-
The Technology Acceptance Model 30 Years of TAM
This SpringerBrief discusses the origins, emergence, evolution, and future of the Technology Acceptance Model (TAM). TAM, simple yet powerful, has...
-
Model and Data Engineering 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2–4, 2023, Proceedings
This volume LNCS 14396 constitutes the refereed proceedings of the 12th International Conference, MEDI 2023,in November 2023 ,held in Sousse,...
-
Model and Data Engineering 11th International Conference, MEDI 2022, Cairo, Egypt, November 21–24, 2022, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt,...
-
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and... -
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and... -
Digital Watermarking for Machine Learning Model Techniques, Protocols and Applications
Machine learning (ML) models, especially large pretrained deep learning (DL) models, are of high economic value and must be properly protected with...
-
Model gradient: unified model and policy learning in model-based reinforcement learning
Model-based reinforcement learning is a promising direction to improve the sample efficiency of reinforcement learning with learning a model of the...
-
Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8–10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6–8, 2022, Revised Selected Papers
This book constitutes the refereed post-proceedings of the 9th International Conference and 10th International Conference on Model-Driven Engineering... -
Model Checking Software 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.T...
-
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023,... -
Model Evaluation
Model evaluation is the process of assessing a property or properties of a model. -
Model Degradation
In this chapter, we specify the business requirements and propose the solution concept for model degradation. Over the course of time, the prediction... -
A source model simplification method to assist model transformation debugging
Model transformation, which is a program targeting at transforming an input model to an output model, has been a critical basis for Model-Driven...
-
Model Validation
In this chapter, we specify the business requirements and propose the solution concept for model validation. Statistical methods exist to validate... -
Model Validation
In this chapter, we will update the project seen in the previous chapter. In particular, we will demonstrate how to make use of model validation and... -
Deductive Model Refinement
Deductive model refinement (hereafter simply “model refinement”) is a uniform approach to generating correct-by-construction designs for algorithms... -
Model Training Infrastructure
In the ML development process, the phase that follows feature engineering is known as model training. This crucial phase involves selecting and... -
Supermarket Model
The flow through this supermarket is shown in Fig. 21.1. This model is adapted after an example in [1]. We first describe the crisp system. Customers... -
Latent Causal Dynamics Model for Model-Based Reinforcement Learning
Learning an accurate dynamics model is the key task for model-based reinforcement learning (MBRL). Most existing MBRL methods learn the dynamics... -
Model Serving Infrastructure
In the machine learning (ML) community, there is a common saying that the ROI of an ML project starts when the model is in production. This phrase...