In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
Recommender Systems belong to a class of systems intended to assist individuals make evaluations about entities in meaningful ways. In this paper we discuss the issues in the desi...
Enterprise Resource Planning (ERP) and related systems such as Supply Chain Management (SCM) and Customer Relationship Management (CRM) are incorporating decision support tools an...
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...