The TORCS Endurance World Championship is an international competition in which programmers develop and tune their drivers to race against each other using TORCS, a state-of-the-ar...
Luigi Cardamone, Daniele Loiacono, Pier Luca Lanzi
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Mun...
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
It has been proven that Artificial Intelligence, in general, and Artificial Neural Networks, in particular, can be successfully applied to problems in the field of Knowledge Manage...
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...