Weighted labelled transition systems (WLTSs) are an established (meta-)model aiming to provide general results and tools for a wide range of systems such as non-deterministic, stochastic, and probabilistic systems. In order to encompass processes combining several quantitative aspects, extensions of the WLTS framework have been further proposed, state-to-function transition systems (FuTSs) and ...

The presence of deterministic relations pose problems for current algorithms that learn the causal structure of a system based on the observed conditional independencies. Deterministic variables lead to information equivalences; two sets of variables have the same information about a third variable. Based on information content, one cannot decide on the direct causes. Several edges model equall...

0

This paper presents a novel approach for anomaly detection base on computing and utilizing descriptive spectral signatures. The goal of the work is to distinguish between contaminated and normal water areas within a region of investigation. A site-independent approach was developed by considering descriptive spectral signatures characterising normal sweat lake water as reference spectral featur...

This paper describes the results of a feasibility study which focused on deriving semantic networks from descriptive texts using controlled language. The KANT system 3, 6] was used to analyze input paragraphs, producing sentence-level interlingua representations. The in-terlinguas were merged to construct a paragraph-level representation, which was used to create a semantic network in Conceptua...

Machine learning is a thriving part of computer science. There are many efficient approaches to machine learning that do not provide strong theoretical guarantees, and a beautiful general learning theory. Unfortunately, machine learning approaches that give strong theoretical guarantees have not been efficient enough to be applicable. In this paper we introduce a logical approach to machine lea...

Present virtual heritage projects are mostly focused either on ‘process’ or ‘product’ but rarely consider ‘user’ (end user’s perception of the content) with project contents predominantly developed with an ‘ocular-centric’ tendency. There is no signifi cant interpretation method or principles for interpreting digital heritage unlike other disciplines such as archaeology. This paper argues that,...

We present a new tree based approach to composing expressive image descriptions that makes use of naturally occuring web images with captions. We investigate two related tasks: image caption generalization and generation, where the former is an optional subtask of the latter. The high-level idea of our approach is to harvest expressive phrases (as tree fragments) from existing image description...

In this paper we survey results related to homomorphism dualities for graphs, and more generally, for finite structures. This is related to some of the classical combinatorial problems, such as colorings of graphs and hypergraphs, and also to recently intensively studied Constraint Satisfaction Problems. On the other side dualities are related to the descriptive complexity and First Order defin...