Search
Search Results
-
Debugging Big Data Systems for Big Data Analytics
This chapter unveils the intricate art of debugging big data systems for optimal analytics performance, providing a comprehensive guide to navigating... -
Creation of Prototypes of Case-Based Knowledge Bases Using Transformations of Decision Tables to Predict the Risk of Forest Fires
AbstractImproving the efficiency of the process of building knowledge bases of intelligent decision support systems continues to be an urgent...
-
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of...
-
Symbolic Quantum Simulation with Quasimodo
The simulation of quantum circuits on classical computers is an important problem in quantum computing. Such simulation requires representations of... -
Spreadsheet quality assurance: a literature review
Spreadsheets are very common for information processing to support decision making by both professional developers and non-technical end users....
-
Debugging, Testing, and Documenting
Development work does not only require you to design the solution for a problem and write the code for it. To make sure your solution solves the... -
Human-Like Computational Reasoning: Diagrams and Other Representations
In this chapter, I give a personal account of my experience in Alan Bundy’s DReaM group in the Department of Artificial Intelligence at the... -
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking
State-of-the-art Probabilistic Model Checking (PMC) offers multiple engines for the quantitative analysis of Markov Decision Processes (MDPs),... -
Static generation of UML sequence diagrams
UML sequence diagrams are visual representations of object interactions in a system and can provide valuable information for program comprehension,...
-
A generic framework for representing and analyzing model concurrency
Recent results in language engineering simplify the development of tool-supported executable domain-specific modeling languages (xDSMLs), including...
-
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
We consider coloured Petri nets, qualitative and quantitative ones alike, as supported by our PetriNuts tool family, comprising, among others,... -
Using contextual knowledge in interactive fault localization
Tool support for automated fault localization in program debugging is limited because state-of-the-art algorithms often fail to provide efficient...
-
Automatic Generation of Intelligent Chatbots from DMN Decision Models
Decision models are the consolidated knowledge representation of the requirements and the logic of operational decisions in business organizations.... -
dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts
Recent advances have shown how decision trees are apt data structures for concisely representing strategies (or controllers) satisfying various... -
Aquality: A Scalable IoT-Enabled Drinking Water Quality Monitoring System
To guarantee the quality of water for human consumption, it is necessary to have a monitoring system for drinking water treatment plants. For this... -
Explainable Methods Organized by Category
This chapter describes specific state-of-the-art methods for XRL-Robotics, organized by category. Each category and subcategory are described... -
Demystifying API misuses in deep learning applications
Deep Learning (DL) is achieving staggering performance on an increasing number of applications in various areas. Meanwhile, its associated...
-
Towards Understanding of Deep Reinforcement Learning Agents Used in Cloud Resource Management
Cloud computing resource management is a critical component of the modern cloud computing platforms, aimed to manage computing resources for a given... -
Effects of variability in models: a family of experiments
The ever-growing need for customization creates a need to maintain software systems in many different variants. To avoid having to maintain different...
-
Introduction to Numerical Methods in Kotlin/S2
When I coded the first line of matrix multiplication algorithm, the classical O(n3) version, in the attic of my London apartment during an evening...