In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
Francesco Ricca, Antonella Dimasi, Giovanni Grasso...
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
This paper will describe an approach to the development of computer simulations - the 'four phase' approach - which aims to be more accessible than established approache...