Sciweavers

3886 search results - page 501 / 778
» Toward Recovery-Oriented Computing
Sort
View
DAC
2012
ACM
13 years 9 months ago
Is dark silicon useful?: harnessing the four horsemen of the coming dark silicon apocalypse
Due to the breakdown of Dennardian scaling, the percentage of a silicon chip that can switch at full frequency is dropping exponentially with each process generation. This utiliza...
Michael B. Taylor
EDBT
2012
ACM
257views Database» more  EDBT 2012»
13 years 9 months ago
Indexing and mining topological patterns for drug discovery
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
Sayan Ranu, Ambuj K. Singh
TPHOL
1997
IEEE
15 years 10 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost
CVPR
2005
IEEE
16 years 8 months ago
Shock Filters Based on Implicit Cluster Separation
One of the classic problems in low level vision is image restoration. An important contribution toward this effort has been the development of shock filters by Osher and Rudin [1]...
Vinay P. Namboodiri, Subhasis Chaudhuri
CVPR
2007
IEEE
16 years 8 months ago
Variable Bandwidth Image Denoising Using Image-based Noise Models
This paper introduces a variational formulation for image denoising based on a quadratic function over kernels of variable bandwidth. These kernels are scale adaptive and reflect ...
Noura Azzabou, Nikos Paragios, Frederic Guichard, ...