— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
Knowledge discovery from satellite images in spatio-temporal context remains one of the major challenges in the remote sensing field. It is, always, difficult for a user to manuall...
Abstract. In the context of a research about application of dynamic visualisation parameters in animations for monitoring purposes, this paper reports on characteristics of dynamic...
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
James Odell, H. Van Dyke Parunak, Sven Brueckner, ...