Sciweavers

1128 search results - page 97 / 226
» Classical Natural Deduction
Sort
View
ICCV
2009
IEEE
3893views Computer Vision» more  ICCV 2009»
15 years 1 months ago
 Super-Resolution From a Single Image
Methods for super-resolution (SR) can be broadly classified into two families of methods: (i) The classical multi-image super-resolution (combining images obtained at subpixel misa...
Daniel Glasner, Shai Bagon, and Michal Irani
ICPR
2002
IEEE
14 years 11 months ago
A Two Level Classifier Process for Audio Segmentation
We are dealing in this paper with audio segmentation. We propose a two level segmentation process that enables the audio tracks to be sampled in short sequences which are classifi...
Benjamin Maillard, Nicole Vincent, Sébastie...
MICCAI
2007
Springer
14 years 11 months ago
Non-Local Means Variants for Denoising of Diffusion-Weighted and Diffusion Tensor MRI
Abstract. Diffusion tensor imaging (DT-MRI) is very sensitive to corrupting noise due to the non linear relationship between the diffusionweighted image intensities (DW-MRI) and th...
Christian Barillot, Nicolas Wiest-Daesslé, ...
CP
2009
Springer
14 years 10 months ago
On the Structure of Industrial SAT Instances
Abstract. During this decade, it has been observed that many realworld graphs, like the web and some social and metabolic networks, have a scale-free structure. These graphs are ch...
Carlos Ansótegui, Jordi Levy, Maria Luisa B...
STOC
2005
ACM
198views Algorithms» more  STOC 2005»
14 years 10 months ago
On lattices, learning with errors, random linear codes, and cryptography
Our main result is a reduction from worst-case lattice problems such as GAPSVP and SIVP to a certain learning problem. This learning problem is a natural extension of the `learnin...
Oded Regev