We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Filters applied:

Search Results

Showing 1-20 of 10,000 results
  1. 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...
    Chapter 2024
  2. Model Validation

    In this chapter, we specify the business requirements and propose the solution concept for model validation. Statistical methods exist to validate...
    Chapter 2024
  3. Model Validation and Selection

    This chapter addresses the fundamental aspects of model validation and selection in the field of machine learning. It begins by discussing the...
    Chapter 2024
  4. Entropy Source Validation Certification

    Entropy sources within FIPS modules require an Entropy Source Validation (ESV) certificate. This chapter describes the process for certifying an...
    David Johnston, Richard Fant in Designing to FIPS-140
    Chapter 2024
  5. Validation-Driven Development

    Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have...
    Sebastian Stock, Atif Mashkoor, Alexander Egyed in Formal Methods and Software Engineering
    Conference paper 2023
  6. Empirical Comparison Between Cross-Validation and Mutation-Validation in Model Selection

    Mutation validation (MV) is a recently proposed approach for model selection, garnering significant interest due to its unique characteristics and...
    Jinyang Yu, Sami Hamdan, ... Kaustubh R. Patil in Advances in Intelligent Data Analysis XXII
    Conference paper 2024
  7. Interlingual Semantic Validation

    The validation of machine translation systems has depended on metrics that compare both form and content of the translated text, where direct human...
    Carolina Gallardo, Jesús Cardeñosa, Samantha Baragaño in Flexible Query Answering Systems
    Conference paper 2023
  8. Correctness Analysis: Inspection, Validation, Verification

    This Chapter investigates three fundamental methods for computational analysis at different levels of abstraction of a hierarchical process...
    Egon Börger, Vincenzo Gervasi in Structures of Computing
    Chapter 2024
  9. CHC Model Validation with Proof Guarantees

    Formal verification tooling increasingly relies on logic solvers as automated reasoning engines. A point of commonality among these solvers is the...
    Rodrigo Otoni, Martin Blicha, ... Natasha Sharygina in Integrated Formal Methods
    Conference paper 2024
  10. Data Migration Testing and Validation

    The data migration validation phase encompasses a series of three data migration tests, designed to validate that migration programs and projects are...
    Chapter 2024
  11. Validation, Formatting, and Type Conversion

    In an enterprise application, validation is critical. The purpose of validation is to verify that the data being processed fulfills all predefined...
    Peter Späth, Iuliana Cosmina, ... Chris Schaefer in Pro Spring 6 with Kotlin
    Chapter 2023
  12. Validation by Abstraction and Refinement

    While refinement can help structure the modeling and proving process, it also forces the modeler to introduce features in a particular order. This...
    Sebastian Stock, Fabian Vu, ... Alexander Egyed in Rigorous State-Based Methods
    Conference paper 2023
  13. A Model Validation Method Based on Convolutional Neural Network

    Conventional model validation methods analyze outputs similarity between simulation and real world with same inputs. However, it is hard to guarantee...
    Conference paper 2024
  14. An Improved Cross-Validated Adversarial Validation Method

    As a widely-used strategy among Kaggle competitors, adversarial validation provides a novel selection framework of a reasonable training and...
    Wen Zhang, Zhengjiang Liu, ... Jihong Li in Knowledge Science, Engineering and Management
    Conference paper 2023
  15. Validation

    Braze Mobility Braze Mobility founder Pooja...
    Chapter 2023
  16. Model Performance Assessment, Validation, and Improvement

    Tracking the performance and evaluating the reliability of various model-based and model-free techniques is critical in most machine learning and...
    Chapter 2023
  17. Early and Systematic Validation of Formal Models

    Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a...
    Conference paper 2023
  18. Probability Density Function for Clustering Validation

    The choice of the number of clusters is a leading problem in Machine Learning. Validation methods provide solutions, with the drawback that inference...
    Pau Figuera, Alfredo Cuzzocrea, Pablo García Bringas in Hybrid Artificial Intelligent Systems
    Conference paper 2023
  19. Improved Blockchain Sharding Consensus for Cross-Shard Validation

    The consensus algorithm, which serves as the core of blockchain technology, enables the realization of decentralized and secure trusted service...
    Yuanyuan Li, Linzhao Sun, ... Yue Chen in Blockchain Technology and Application
    Conference paper 2024
  20. Form Validation

    In this chapter you will explore different ways of form validation. You will be learning the following recipes in this chapter:
    Bintu Harwani in jQuery Recipes
    Chapter 2022
Did you find what you were looking for? Share feedback.