This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
Dirk Ziegenbein, Peter Braun 0003, Ulrich Freund, ...
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
This paper describes our efforts to factor in a user’s browsing behavior to automatically evaluate web pages that the user shows interest in, based on user browsing behaviors wh...
This paper describes an Explainable Artificial Intelligence (XAI) tool that allows entities to answer questions about their activities within a tactical simulation. We show how XAI...
H. Chad Lane, Mark G. Core, Michael van Lent, Stev...
Development of reusahle dictionaries for NI,P applications requires a carefully designed lexicological framework, a lexical acquisition strategy, an integrated development toolbox...
Pim van der Eijk, Laura Bloksma, Mark van der Kraa...