Sciweavers

10996 search results - page 1826 / 2200
» Future Directions in Computing
Sort
View
SCALESPACE
2007
Springer
16 years 26 days ago
Bayesian Non-local Means Filter, Image Redundancy and Adaptive Dictionaries for Noise Removal
Abstract. Partial Differential equations (PDE), wavelets-based methods and neighborhood filters were proposed as locally adaptive machines for noise removal. Recently, Buades, Col...
Charles Kervrann, Jérôme Boulanger, P...
SCALESPACE
2007
Springer
16 years 26 days ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...
TACAS
2007
Springer
124views Algorithms» more  TACAS 2007»
16 years 26 days ago
Deciding Bit-Vector Arithmetic with Abstraction
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
Randal E. Bryant, Daniel Kroening, Joël Ouakn...
VLDB
2007
ACM
89views Database» more  VLDB 2007»
16 years 26 days ago
GhostDB: Hiding Data from Prying Eyes
Imagine that you have been entrusted with private data, such as corporate product information, sensitive government information, or symptom and treatment information about hospita...
Christophe Salperwyck, Nicolas Anciaux, Mehdi Benz...
VLDB
2007
ACM
229views Database» more  VLDB 2007»
16 years 26 days ago
Sum-Max Monotonic Ranked Joins for Evaluating Top-K Twig Queries on Weighted Data Graphs
In many applications, the underlying data (the web, an XML document, or a relational database) can be seen as a graph. These graphs may be enriched with weights, associated with t...
Yan Qi 0002, K. Selçuk Candan, Maria Luisa ...
« Prev « First page 1826 / 2200 Last » Next »