Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
Response Surface Methodology (RSM) is a metamodelbased optimization method. Its strategy is to explore small subregions of the parameter space in succession instead of attempting ...
While many data mining models concentrate on automation and efficiency, interactive data mining models focus on adaptive and effective communications between human users and comp...
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...