Among the well agreed-on benefits of a guideline computerisation, with respect to the traditional text format, there are the disambiguation, the possibility of looking at the guide...
Paolo Ciccarese, Ezio Caffi, Lorenzo Boiocchi, Ass...
Abstract. We address the problem of extracting Minimal Unsatisfiable Cores (MUCs) from constraint networks. This computationally hard problem has a practical interest in many appli...
Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Fr...
A student's goals and attitudes while interacting with a tutor are typically unseen and unknowable. However their outward behavior (e.g. problem-solving time, mistakes and hel...
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
J. Jesus Rico Melgoza, Juan J. Flores, Constantino...
Developing computer game agents is often a lengthy and expensive undertaking. Detailed domain knowledge and decision-making procedures must be encoded into the agent to achieve re...
Nan Li, David J. Stracuzzi, Gary Cleveland, Tolga ...