Sciweavers

2517 search results - page 405 / 504
» Specifying Weak Sets
Sort
View
TOG
2008
101views more  TOG 2008»
15 years 6 months ago
Light mixture estimation for spatially varying white balance
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...
Eugene Hsu, Tom Mertens, Sylvain Paris, Shai Avida...
TOG
2008
108views more  TOG 2008»
15 years 6 months ago
A virtual restoration stage for real-world objects
In this paper, we introduce a system to virtually restore damaged or historically significant objects without needing to physically change the object in any way. Our work addresse...
Daniel G. Aliaga, Alvin J. Law, Yu Hong Yeung
TOPLAS
2008
101views more  TOPLAS 2008»
15 years 6 months ago
Verifying policy-based web services security
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
TOPNOC
2008
15 years 6 months ago
Translating Message Sequence Charts to other Process Languages Using Process Mining
Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...
Kristian Bisgaard Lassen, Boudewijn F. van Dongen
TSP
2008
116views more  TSP 2008»
15 years 6 months ago
Nonideal Sampling and Regularization Theory
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...
Sathish Ramani, Dimitri Van De Ville, Thierry Blu,...