Sciweavers

1769 search results - page 141 / 354
» An implementation of argument based discussion
Sort
View
TVCG
2011
175views more  TVCG 2011»
15 years 1 months ago
Parallel Iteration to the Radiative Transport in Inhomogeneous Media with Bootstrapping
—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 ...
László Szirmay-Kalos, Gabor Liktor, ...
ICIP
2004
IEEE
16 years 8 months ago
A fast and adaptive method for image contrast enhancement
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...
Zeyun Yu, Chandrajit L. Bajaj
CADE
2005
Springer
16 years 6 months ago
Reasoning in Extensional Type Theory with Equality
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...
Chad E. Brown
OSDI
2004
ACM
16 years 6 months ago
Chain Replication for Supporting High Throughput and Availability
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...
Robbert van Renesse, Fred B. Schneider
EDBT
2006
ACM
111views Database» more  EDBT 2006»
16 years 6 months ago
BISON: Providing Business Information Analysis as a Service
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 ...
Hakan Hacigümüs, James Rhodes, Jeffrey T...