Abstract: Coupling of metamodeling architectures and ontologies for domain descriptions is widely discussed in information system engineering research groups. Here we present the f...
Arnaud da Costa, Eric Leclercq, Arnaud Gaudin, Jea...
Developing a full coreference system able to run all the way from raw text to semantic interpretation is a considerable engineering effort. Accordingly, there is very limited avai...
Yannick Versley, Simone Paolo Ponzetto, Massimo Po...
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...