8874 search results - page 1711 / 1775 » A New Implementation of Automath |
146
Voted
DAGSTUHL
2010
15 years 5 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
129
Voted
HVEI
2010
15 years 5 months ago
2010
An objective quality estimator for either still images or video should accurately estimate the perceived quality scores of a collection of stimuli. New applications and processing...
133
Voted
IPCO
2010
15 years 5 months ago
2010
Abstract. We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph G = (V = VB VW VR, E), with local rewards r : E R...
113
Voted
NSDI
2010
15 years 5 months ago
2010
In many enterprises today, WAN optimizers are being deployed in order to eliminate redundancy in network traffic and reduce WAN access costs. In this paper, we present the design ...
121
Voted
HCI
2007
15 years 5 months ago
2007
A large number of the world's cultural heritage sites and landscapes have been lost over time due to the progress of urbanization. Digital archive projects that digitize these...