Web Services are becoming more and more fundamental building blocks of Web-based distributed applications and a core technology for Grid systems. Due to their flexibility, Web Ser...
This paper deals with the use of parallel processing for multi-objective optimization in applications in which the objective functions, the restrictions, and hence also the soluti...
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
Abstract. Recently, an energy-based unified framework for image denoising was proposed by Mr´azek et al. [10], from which existing nonlinear filters such as M-smoothers, bilater...
Luis Pizarro, Stephan Didas, Frank Bauer, Joachim ...