We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
: The domain of business reporting and especially financial reporting plays an important role when discussing internal and external information flows among organizational units. Th...
We propose a Case-Based Reasoning approach for action selection in the robot soccer domain presented in the 8th European Conference on Case-Based Reasoning (2006). Based on the cu...
: ITSs for ill-defined domains have attracted a lot of attention recently, which is well-deserved, as such ITSs are hard to develop. The first step towards such ITSs is reaching a ...
We present a novel hierarchical prior structure for supervised transfer learning in named entity recognition, motivated by the common structure of feature spaces for this task acr...