Search Constraints

Start Over
Filtering by: Creator Thomas, Christoph Remove constraint Creator: Thomas, Christoph Committee Member Borradaile, Glencora Remove constraint Committee Member: Borradaile, Glencora Degree Name Master of Science (M.S.) Remove constraint Degree Name: Master of Science (M.S.)

Search Results

  • Improving User Mental Models of XAI Systems with Inclusive Design Approaches

    Creator:
    Hamid, Md Montaser
    Abstract:
    Explainable Artificial Intelligence (XAI) systems aim to improve users’ understanding of AI but rarely consider the inclusivity aspects of XAI. Without inclusive approaches, improving explanations might not work well for everyone. This study investigates leveraging users’ diverse problem-solving styles as an inclusive strategy to fix an XAI prototype, with the...
    Resource Type:
    Masters Thesis

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis