—This paper presents a fast parallel method to solve the radiative transport equation in inhomogeneous participating media. We apply a novel approximation scheme to find a good ...
In this paper we describe a fast approach for image contrast enhancement, based on localized contrast manipulation. Our approach is not only fast and easy to implement, but also h...
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
Chain replication is a new approach to coordinating clusters of fail-stop storage servers. The approach is intended for supporting large-scale storage services that exhibit high t...
In this paper, we present the architecture of a Business Information Analysis provisioning system, BISON. The system is built based on a functioning business information analysis ...