Sciweavers

6251 search results - page 1035 / 1251
» Randomness, Computability, and Density
Sort
View
FOCS
2005
IEEE
15 years 10 months ago
The Complexity of Online Memory Checking
We consider the problem of storing a large file on a remote and unreliable server. To verify that the file has not been corrupted, a user could store a small private (randomized...
Moni Naor, Guy N. Rothblum
TCAD
2008
96views more  TCAD 2008»
15 years 4 months ago
An Implicit Approach to Minimizing Range-Equivalent Circuits
Abstract--Simplifying a combinational circuit while preserving its range has a variety of applications, such as combinational equivalence checking and random simulation. Previous a...
Yung-Chih Chen, Chun-Yao Wang
151
Voted
ICIP
2006
IEEE
16 years 6 months ago
An Architecture for Compressive Imaging
Compressive Sensing is an emerging field based on the revelation that a small group of non-adaptive linear projections of a compressible signal contains enough information for rec...
Michael B. Wakin, Jason N. Laska, Marco F. Duarte,...
VIS
2005
IEEE
122views Visualization» more  VIS 2005»
16 years 5 months ago
Effectively Visualizing Large Networks Through Sampling
We study the problem of visualizing large networks and develop es for effectively abstracting a network and reducing the size to a level that can be clearly viewed. Our size reduc...
Davood Rafiei, Stephen Curial
MICCAI
2009
Springer
16 years 5 months ago
Diffusion Tensor Field Registration in the Presence of Uncertainty
We propose a novel method for deformable tensor?to?tensor registration of Diffusion Tensor Imaging (DTI) data. Our registration method considers estimated diffusion tensors as norm...
M. Okan Irfanoglu, Cheng Guan Koay, Sinisa Pajev...
« Prev « First page 1035 / 1251 Last » Next »