There is a great variety of theoretical models of emotions and implementation technologies which can be used in the design of affective computers. Consequently, designers and resea...
Zeljko Obrenovic, Nestor Garay, Juan Miguel L&oacu...
We present a scalable, SPARQL-based computational pipeline for testing the lattice-theoretic properties of partial orders represented as RDF triples. The use case for this work is ...
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...