Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
In this paper, we demonstrate based on the linear model of [1, 2] that inverse halftoning is equivalent to the well-studied problem of deconvolution in the presence of colored noi...
Ramesh Neelamani, Robert Nowak, Richard G. Baraniu...
This paper presents a new perceptually based tone mapping operator that represents scene visibility under timevarying, high dynamic range conditions. The operator is based on a ne...
Piti Irawan, James A. Ferwerda, Stephen R. Marschn...
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...