Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
: Mobility modelling is an essential component of wireless and mobile networking research. Our proposed Agenda Driven Mobility Model takes into consideration a person’s social ac...
Qunwei Zheng, Xiaoyan Hong, Jun Liu, David Cordes,...
Search Based Software Engineering (SBSE) is an approach to software engineering in which search based optimization algorithms are used to identify optimal or near optimal solution...
We introduce mixture trees, a tree-based data-structure for modeling joint probability densities using a greedy hierarchical density estimation scheme. We show that the mixture tr...