120 search results - page 20 / 24 » Covered Clause Elimination |
GRAPHICSINTERFACE
2008
13 years 8 months ago
2008
Shadow maps are commonly used in real-time rendering, but they cannot be filtered linearly like standard color, resulting in severe aliasing. Variance shadow maps resolve this pro...
OPODIS
2007
13 years 8 months ago
2007
We study private computations in a system of tiny mobile agents. We consider the mobile population protocol model of Angluin et al. [2] and ask what can be computed without ever re...
DKE
2008
13 years 7 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
TOG
2008
13 years 7 months ago
2008
White balance is a crucial step in the photographic pipeline. It ensures the proper rendition of images by eliminating color casts due to differing illuminants. Digital cameras an...
EOR
2000
13 years 7 months ago
2000
This contribution describes a general mixed-integer linear programming model based on a time-indexed formulation covering the relevant features required for the complete supply ch...