1573 search results - page 123 / 315 » Picture Programming Project |
137
click to vote
TOG
2008
15 years 6 months ago
2008
We propose a tone-mapping operator that can minimize visible contrast distortions for a range of output devices, ranging from e-paper to HDR displays. The operator weights contras...
183
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
179
click to vote
WLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
157
click to vote
IPPS
2008
IEEE
16 years 24 days ago
2008
IEEE
We present preliminary results of a project to create a tuning system that adaptively optimizes programs to the underlying execution platform. We will show initial results from tw...
160
click to vote
AIPR
2004
IEEE
15 years 10 months ago
2004
IEEE
The Intelligent Systems Division of the National Institute of Standards and Technology has been engaged for several years in developing real-time systems for autonomous driving. A...