543 search results - page 91 / 109 » Corrosion: Simulating and Rendering |
CHARME
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
CIVR
2008
Springer
14 years 11 months ago
2008
Springer
Three-screen services provide the right solution for consumers to access rich multimedia resources by any device, anytime and anywhere. In this paper, we describe a prototype syst...
CATA
2010
14 years 11 months ago
2010
As you walk around during your daily life, you commonly make path finding decisions based on the world around you. For example, when you are walking in the outdoors, you take the ...
DAGSTUHL
2010
14 years 11 months ago
2010
We present a streaming compression algorithm for huge time-varying aerial imagery. New airborne optical sensors are capable of collecting billion-pixel images at multiple frames p...
HVEI
2010
14 years 11 months ago
2010
The overall image quality benefits substantially from good reproduction of black tones. Modern displays feature relatively low black level, making them capable rendering good dark...