Sciweavers

1573 search results - page 123 / 315
» Picture Programming Project
Sort
View
99
Voted
TOG
2008
96views more  TOG 2008»
15 years 2 months ago
Display adaptive tone mapping
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...
Rafal Mantiuk, Scott Daly, Louis Kerofsky
128
Voted
SPIN
2010
Springer
15 years 29 days ago
Analysing Mu-Calculus Properties of Pushdown Systems
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...
Matthew Hague, C.-H. Luke Ong
133
Voted
WLP
2005
Springer
15 years 8 months ago
Meta-S - Combining Solver Cooperation and Programming Languages
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...
Stephan Frank, Petra Hofstedt, Dirk Reckmann
IPPS
2008
IEEE
15 years 9 months ago
Adaptive tuning in a dynamically changing resource environment
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...
Seyong Lee, Rudolf Eigenmann
116
Voted
AIPR
2004
IEEE
15 years 6 months ago
Adaptive Road Detection through Continuous Environment Learning
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...
Mike Foedisch, Aya Takeuchi