Abstract. We study an extension of the set cover problem, the connected set cover problem, the problem is to find a set cover of minimal size that satisfies some connectivity con...
Abstract. The Complete Root Classification for a univariate polynomial with symbolic coefficients is the collection of all the possible cases of its root classification, together w...
Abstract. This paper proposes the incremental goal evolution process methodology from the view point of the approach to business process optimization. This paper first presents a p...
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential param...
Abstract. Most reported literature on evaluation of e-government systems tend to focus on narrow aspects of project design and implementation. The larger context of development and...