Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
Semi-definite Embedding (SDE) has been a recently proposed to maximize the sum of pair wise squared distances between outputs while the input data and outputs are locally isometri...
Benyu Zhang, Jun Yan, Ning Liu, QianSheng Cheng, Z...
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
—This paper describes a new approach to matching geometric structure in 2D point-sets. The novel feature is to unify the tasks of estimating transformation geometry and identifyi...